Changes between Version 93 and Version 94 of StrawPoll-1


Ignore:
Timestamp:
Mar 29, 2006 11:43:49 AM (9 years ago)
Author:
john@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • StrawPoll-1

    v93 v94  
    4444|| Y  ||    || Y  ||    || Y  || Y  || Y  || Y  ||    || Y  ||    ||  Y  || Y  ||    ||     ||  Y ||  Y || #25    || add EmptyDataDeclarations
    4545|| Y  ||    || Y  ||    ||    || Y  ||    || Y  ||    || Y  || Y  ||     || Y  || Y  ||     ||  Y ||  Y || #23    || fix common pitfall with the do-notation and if-then-else
    46 || Y  ||    || Y  || Y  ||    ||    || Y  ||    ||    || M  || Y  ||  Y  || Y  ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface
    47 ||    ||    || Y  ||    || Y  || Y  ||    ||    ||    || Y  ||    ||     ||    ||    ||     ||    ||    || #59    || Fix the lexical syntax for qualified identifiers
    48 ||    ||    || Y  ||    || Y  || Y  || Y  ||    ||    || Y  || Y  ||     ||    ||    ||     ||  Y ||  Y || #42    || fix comment syntax grammar
     46|| Y  ||    || Y  || Y  ||    ||    || Y  || Y*  ||    || M  || Y  ||  Y  || Y  ||Y(1)||     ||  Y ||    || #15    || add a binary IO interface
     47||    ||    || Y  ||    || Y  || Y  ||    ||  Y ||    || Y  ||    ||     ||    ||    ||     ||    ||    || #59    || Fix the lexical syntax for qualified identifiers
     48||    ||    || Y  ||    || Y  || Y  || Y  ||  Y ||    || Y  || Y  ||     ||    ||    ||     ||  Y ||  Y || #42    || fix comment syntax grammar
    4949||    ||    || Y  ||    ||    || M  ||    ||    ||    ||    ||    ||  Y  ||    ||    ||     ||    ||    || #32    || add FlexibleInstances
    5050||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    ||     ||    ||    ||     ||    ||    || #31    || add Flexible Contexts
     
    5656|| Y*  ||    || Y  ||    || Y  || Y  || Y  || Y  ||    ||    || Y  ||     || Y  ||    ||     ||  Y ||    || #61    || replace the Read class
    5757||    ||    || Y  ||    ||    ||    || Y  ||    ||    || M  ||    ||     ||    || N  ||     ||  N ||    || #96    || Replace the array indexing operator, '!'
    58 ||    ||    ||N&Y ||    || M  || Y  || Y* ||    ||    ||    || N  ||  Y  ||    ||    ||     ||    ||    || #95    || improve module interfaces
     58||    ||    ||N&Y ||    || M  || Y  || Y* ||  Y* ||    ||    || N  ||  Y  ||    ||    ||     ||    ||    || #95    || improve module interfaces
    5959||    ||    || N  ||    ||  N ||    || Y  || N  ||    ||    || N  ||  N  ||    ||    ||     ||    ||    || #86    || add PartialTypeAnnotations?
    6060|| Y*  ||    || Y  ||    ||    ||    ||    || Y  ||    || M  || N  ||  Y  ||    ||    ||     ||    ||    || #76    || Bang patterns
    6161||    ||    || Y  ||    ||    ||    || Y* || YM ||    || Y* ||    || YM  ||    ||    ||     ||    || YM || #67    || add Scoped Type Variables
    62 || N  ||    || N  ||    || N  || N  || Y* ||    ||    ||    || N  ||     || N  ||    ||     ||    ||    || #62    || allow data consructors to be exported and imported readonly
     62|| N  ||    || N  ||    || N  || N  || Y* || Y*  ||    ||    || N  ||     || N  ||    ||     ||    ||    || #62    || allow data consructors to be exported and imported readonly
    6363|| Y*  ||    || M  ||    ||    ||    || N  ||    ||    ||    ||    ||     ||    ||    ||     ||  M ||    || #58    || prelude re-organisation proposal
    6464||    ||    || Y  ||    || N  || N  || N  || Y  ||    ||    || N  ||  N  ||    || Y  ||     ||  N ||    || #55    || add Parallel List comprehensions
     
    7070|| M  ||    || N  ||    ||    ||    || N  || Y  ||    || N  || N  ||     ||    ||    ||     ||    ||    || #34    || add ForeignData
    7171|| Y  ||    ||    ||    ||    ||    || Y* || Y  ||    ||    ||    ||     ||    ||    ||     ||    ||    || #33    || add Blockable
    72 ||    ||    || Y  ||    ||    ||    || Y  ||    ||    || Y  ||    ||  Y  ||    ||    ||     ||    ||    || #30    || remove operator fixity resolution from the context-free grammar
    73 ||    ||    || N  ||    ||    ||    ||    ||    ||    ||    || N  ||  N  ||    ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures
    74 ||    ||    || Y  ||    ||    ||    ||    ||    ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #21    || improve defaulting rules
    75 ||    ||    || N  ||    ||    || N  || N  ||    ||    || N  || N  ||  N  ||    ||    ||     ||    ||  N  || #92    || add First Class Labels
     72||    ||    || Y  ||    ||    ||    || Y  || Y  ||    || Y  ||    ||  Y  ||    ||    ||     ||    ||    || #30    || remove operator fixity resolution from the context-free grammar
     73||    ||    || N  ||    ||    ||    ||    || Y  ||    ||    || N  ||  N  ||    ||    ||     ||  N ||    || #28    || Require explicit quantification on all expression bound type signatures
     74||    ||    || Y  ||    ||    ||    ||    || M  ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #21    || improve defaulting rules
     75||    ||    || N  ||    ||    || N  || N  || M  ||    || N  || N  ||  N  ||    ||    ||     ||    ||  N  || #92    || add First Class Labels
    7676||    ||    || N  ||    ||    ||    || N  || N  ||    || N  || Y  ||  N  ||    ||    ||     ||  Y ||    || #99    || Move existing named field (record) system to an addendum
    7777||    ||    || N  ||    ||    ||    || N  || N  ||    || N  || N  ||  N  ||    ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system
    78 ||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction
     78||    ||    ||    ||    ||    ||    || M  || Y  ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction
    7979||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||    || Y  ||    ||  Y  || Y  || Y  ||     ||    || Y  || #78    || Add infix type constructors
    8080|| N  ||    || Y  ||    || N  || N  || N  || N  ||    || N  || N  ||  Y  ||    ||    ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level
    81 ||    ||    || Y  ||    ||    ||    ||    ||    ||    || Y  || Y  ||  Y  ||    ||    ||     ||    ||  Y || #81    || scoping of type variables in class instances
    82 || Y* ||    || M  ||    ||    ||    || M  ||    ||    || M  ||    ||  M  ||    ||    ||     ||    ||  M || #88    || unified and extensible annotations
     81||    ||    || Y  ||    ||    ||    ||    || Y  ||    || Y  || Y  ||  Y  ||    ||    ||     ||    ||  Y || #81    || scoping of type variables in class instances
     82|| Y* ||    || M  ||    ||    ||    || M  || M  ||    || M  ||    ||  M  ||    ||    ||     ||    ||  M || #88    || unified and extensible annotations
    8383||    ||    || N  ||    || M  ||    || N  || N  ||    || M  || N  ||     ||    ||    ||     ||  N ||  N || #19    || control export and import of class instances
    84 ||    ||    || Y  ||    ||    ||    || Y  ||    ||    || Y  ||    ||  Y  ||    ||    ||     ||    ||  Y  || #17    || relax restriction on signatures of class methods
     84||    ||    || Y  ||    ||    ||    || Y  || Y  ||    || Y  ||    ||  Y  ||    ||    ||     ||    ||  Y  || #17    || relax restriction on signatures of class methods
    8585|| Y* ||    || N  ||    || Y  || Y  || N  ||    ||    || N  || N  ||     ||    ||    ||     ||    ||  Y || #68    || Eliminate tabs
    86 ||    ||    || Y  ||    || N  || N  || N  ||    ||    || Y  || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax
    87 ||    ||    || M  ||    ||    || Y  || N  || N  ||    || Y  || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs
     86||    ||    || Y  ||    || N  || N  || N  || Y  ||    || Y  || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax
     87||    ||    || M  ||    ||    || Y  || N  || N*  ||    || Y  || N  ||  Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs
    8888||    ||    || N  ||    || N  || N  || N  || N  ||    || Y* || N  ||  M  || N  ||    ||     ||  N ||  M || #73    || add views
    8989||    ||    || N  ||  Y ||    || M  ||    ||    ||    || N  ||    ||  N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances
     
    9191|| N  ||    || N  ||    || N  || N  || N  || N  ||    || N  || N  ||  N  || N  || N  ||     ||  N ||  N  || #43    || add Linear implicit params
    9292|| M  ||    || N  ||    ||    || N  || N  ||    ||    || Y  ||    ||  M  || N  ||    ||     ||  M ||  YM  || #36    || add FunctionalDependencies
    93 || Y  ||    || Y  ||    || N  || N  || N  ||    ||    || N  || N  ||  Y  ||    ||    ||     ||  Y ||  Y || #77    || add MultiWayIf
     93|| Y  ||    || Y  ||    || N  || N  || N  || Y  ||    || N  || N  ||  Y  ||    ||    ||     ||  Y ||  Y || #77    || add MultiWayIf
    9494||    ||    || N  ||    || N  ||    || N  || Y  ||    || Y  || N  ||     ||    || Y  ||     ||    ||  N || #69    || allow tuple sections
    9595|| N  ||    || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     || N  ||    ||     ||  N ||  N || #38    || add implicit parameters
    96 || M  ||    || N  ||    ||    || N  || N  ||    ||    || N  ||    ||  N  || N  ||    ||     ||    ||  N  || #14    || add Associated Types
    97 || N  ||    || N  ||    || N  || N  || N  ||    ||    || N  || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows
    98 || N  ||    || N  ||    || N  || N  || N  ||    ||    || N  || N  ||  N  ||    ||    ||     ||    ||  N || #18    || add closed classes
     96|| M  ||    || N  ||    ||    || N  || N  || M  ||    || N  ||    ||  N  || N  ||    ||     ||    ||  N  || #14    || add Associated Types
     97|| N  ||    || N  ||    || N  || N  || N  || N  ||    || N  || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows
     98|| N  ||    || N  ||    || N  || N  || N  || Y*  ||    || N  || N  ||  N  ||    ||    ||     ||    ||  N || #18    || add closed classes
    9999||    ||    || Y  ||    || Y  || Y  || Y  || Y  ||    || Y  || N  ||  Y  || Y  || Y  ||     ||    ||  Y || #84    || Kind Annotations
    100100