Changes between Version 82 and Version 83 of StrawPoll-1
- Timestamp:
- 03/28/06 16:19:56 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StrawPoll-1
v82 v83 33 33 || || || Y || || Y || Y || Y || Y || || Y || Y || Y || || Y || || || Y || #60 || add RankNTypes or Rank2Types 34 34 || || || Y || || Y || Y || Y || Y || || Y || Y || Y || || Y || || || Y || #57 || add polymorphic components 35 || || || Y || Y || Y || Y || Y || Y || || Y || Y || Y || || Y || || Y || Y || #26 || add ExistentialQuantification (existential components)35 || Y || || Y || Y || Y || Y || Y || Y || || Y || Y || Y || || Y || || Y || Y || #26 || add ExistentialQuantification (existential components) 36 36 || || || M || || Y || Y || || Y || || Y || Y || || || || || || N || #85 || more liberal kind inference 37 37 || M || || || || Y || Y || Y || Y || || || || || || Y || || N || Y || #70 || allow TypeSynonymInstances … … 43 43 || || || Y || || || Y || Y || Y || || Y || || || || Y || || || Y || #53 || Nondecreasing Indentation 44 44 || Y || || Y || || Y || Y || Y || Y || || Y || || Y || || || || Y || Y || #25 || add EmptyDataDeclarations 45 || || || Y || || || Y || || Y || || Y || Y || || || Y || || Y || Y || #23 || fix common pitfall with the do-notation and if-then-else45 || Y || || Y || || || Y || || Y || || Y || Y || || || Y || || Y || Y || #23 || fix common pitfall with the do-notation and if-then-else 46 46 || Y || || Y || Y || || || Y || || || || Y || Y || ||Y(1)|| || Y || || #15 || add a binary IO interface 47 47 || || || Y || || Y || Y || || || || || || || || || || || || #59 || Fix the lexical syntax for qualified identifiers … … 52 52 || M || || Y || || || || || M || || Y || || Y || || || || || Y || #51 || add new pragmas 53 53 || || || M || || || || N || || || N || || || || || || Y || M || #79 || Natural numbers 54 || || || || || || Y || Y || Y || || Y || N || || || Y || || Y || Y || #72 || Make underscore 'caseless'54 || Y || || || || || Y || Y || Y || || Y || N || || || Y || || Y || Y || #72 || Make underscore 'caseless' 55 55 || N || || N || || N || N || N || N || || N || N || || || N || || N || || #20 || Eliminate . as an operator 56 || || || Y || || Y || Y || Y || Y || || || Y || || || || || Y || || #61 || replace the Read class56 || Y* || || Y || || Y || Y || Y || Y || || || Y || || || || || Y || || #61 || replace the Read class 57 57 || || || Y || || || || Y || || || N || || || || N || || N || || #96 || Replace the array indexing operator, '!' 58 || M|| ||N&Y || || M || Y || Y* || || || || N || Y || || || || || || #95 || improve module interfaces58 || || ||N&Y || || M || Y || Y* || || || || N || Y || || || || || || #95 || improve module interfaces 59 59 || || || N || || N || || Y || N || || || N || N || || || || || || #86 || add PartialTypeAnnotations? 60 || M|| || Y || || || || || Y || || || N || Y || || || || || || #76 || Bang patterns60 || Y* || || Y || || || || || Y || || || N || Y || || || || || || #76 || Bang patterns 61 61 || || || Y || || || || Y* || YM || || Y || || YM || || || || || YM || #67 || add Scoped Type Variables 62 || M|| || N || || N || N || Y* || || || || N || || || || || || || #62 || allow data consructors to be exported and imported readonly62 || N || || N || || N || N || Y* || || || || N || || || || || || || #62 || allow data consructors to be exported and imported readonly 63 63 || Y* || || M || || || || N || || || || || || || || || M || || #58 || prelude re-organisation proposal 64 64 || || || Y || || N || N || N || Y || || || N || N || || Y || || N || || #55 || add Parallel List comprehensions … … 91 91 || N || || N || || N || N || N || N || || N || N || N || || N || || N || N || #43 || add Linear implicit params 92 92 || M || || N || || || N || N || || || Y || || M || || || || M || YM || #36 || add FunctionalDependencies 93 || || || Y || || N || N || N || || || N || N || Y || || || || Y || Y || #77 || add MultiWayIf93 || Y || || Y || || N || N || N || || || N || N || Y || || || || Y || Y || #77 || add MultiWayIf 94 94 || || || N || || N || || N || Y || || Y || N || || || Y || || || N || #69 || allow tuple sections 95 95 || N || || N || || N || N || N || N || || N || N || || || || || N || N || #38 || add implicit parameters 96 96 || M || || N || || || N || N || || || N || || N || || || || || N || #14 || add Associated Types 97 97 || N || || N || || N || N || N || || || || N || || || || || N || || #13 || add Arrows 98 || || || N || || N || N || N || || || || N || N || || || || || N || #18 || add closed classes98 || N || || N || || N || N || N || || || || N || N || || || || || N || #18 || add closed classes 99 99 || || || Y || || Y || Y || Y || Y || || || N || Y || || Y || || || Y || #84 || Kind Annotations 100 100
