Changes between Version 30 and Version 31 of StrawPoll-2
- Timestamp:
- 08/23/06 04:04:29 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StrawPoll-2
v30 v31 47 47 || || M || Y || || Y || YW || Y || Y || Y || Y || A || Y || Y || || Y || A || || A || #57 || add polymorphic components 48 48 || Y || M || A || Y || Y || AW || Y || Y || Y || Y || A || Y || Y || || A || AW || A || A || #26 || add ExistentialQuantification (existential components) 49 || || || M || || Y || Y || || Y || A || Y || Y || || || || 49 || || || M || || Y || Y || || Y || A || Y || Y || || || || A || M || || N || #85 || more liberal kind inference 50 50 || M || || Y || || Y || Y || Y || Y || Y || Y || || Y || || || A || AW || N || Y || #70 || allow TypeSynonymInstances 51 51 || || N || A || || Y || Y || Y || Y || A || Y || A || Y || Y || || Y || Y || || Y || #65 || Relax Dependency Analysis … … 58 58 || Y || || Y || || || Y || || Y || A || Y || A || || Y || || A || Y || A || Y || #23 || fix common pitfall with the do-notation and if-then-else 59 59 || Y || Y || Y || Y || || Y || Y || Y* ||A(1)|| M || A || Y || Y || ||A(1)|| || A*|| || #15 || add a binary IO interface 60 || || || Y || || Y || Y || || Y || Y || Y || || || Y || || 60 || || || Y || || Y || Y || || Y || Y || Y || || || Y || || Y || || Y || || #59 || Fix the lexical syntax for qualified identifiers 61 61 || || || Y || || Y || Y || Y || Y || Y || Y || Y || || Y || || Y || || Y || Y || #42 || fix comment syntax grammar 62 || || || Y || || || M || || || Y || Y || || Y || || || 63 || || || || || || || || || Y || || || Y || || || 62 || || || Y || || || M || || || Y || Y || || Y || || || Y || || || || #32 || add FlexibleInstances 63 || || || || || || || || || Y || || || Y || || || Y || || || || #31 || add Flexible Contexts 64 64 || Y || Y || Y || || Y || Y || Y || Y || A || Y || || Y || Y || || A || || Y || Y || #56 || add Pattern Guards 65 65 || M || M || Y || || || || || M || A || Y || || Y || Y || || A || || || Y || #51 || add new pragmas … … 72 72 || || || N || || N || || Y || N || N || M || N || N || || || N || || || N || #86 || add PartialTypeAnnotations? 73 73 || Y* || Y || Y || || || || || Y || Y || M || N || Y || || || Y || || N || || #76 || Bang patterns 74 || || || YM || || || M || Y* || YM || Y || Y* || Y* || YM || || || 74 || || || YM || || || M || Y* || YM || Y || Y* || Y* || YM || || || Y* || M || Y || Y* || #67 || add Scoped Type Variables 75 75 || N || || N || || N || N || Y* || Y* || N || N || N || || N || || N || N || || || #62 || allow data consructors to be exported and imported readonly 76 76 || Y* || M || M || || || || N || || Y || || || || || || M || || AW|| || #58 || prelude re-organisation proposal … … 78 78 || || Y || Y || || || M || Y || Y || Y || Y || N || Y || || || A || || A || Y || #52 || Generalised deriving for newtype 79 79 || N || M || N || || N || || N || Y || || N || N || Y || N || || N || N || Y || Y || #50 || get rid of unary '-' operator 80 || || || || || || || || || || M || || || || || 81 || || || || || N || N || || N || N || N || R || || || || 80 || || || || || || || || || || M || || || || || M || || || || #48 || clarify module system proposals 81 || || || || || N || N || || N || N || N || R || || || || R || N || || || #44 || add MagicUnderscore 82 82 || || N || N || N || N || N || N || || N || N || N || N || || || N || N || || || #41 || add LambdaCase 83 83 || M || M || N || || || || N || Y || Y || N || N || || || || Y || || || || #34 || add ForeignData … … 85 85 || || || Y || || || || Y || Y || Y || Y || || Y || || || A || || Y || || #30 || remove operator fixity resolution from the context-free grammar 86 86 || || M || N || || || || || Y || || || N || N || || || N || || N || || #28 || Require explicit quantification on all expression bound type signatures 87 || || || Y || || || Y || || M || Y || || || || || || 87 || || || Y || || || Y || || M || Y || || || || || || Y || || Y || || #21 || improve defaulting rules 88 88 || || N || N || || || N || N || M || N || N || N || N || || || N || || || N || #92 || add First Class Labels 89 89 || || N || N || || || || N || N || || N || Y || N || || || N || || Y || || #99 || Move existing named field (record) system to an addendum 90 90 || || N || N || || || || N || N || N || N || N || N || || || N || || N || || #100 || Replace named fields with an extensible record system 91 || || M || M || || || || M || Y || Y || || || M || || || 91 || || M || M || || || || M || Y || Y || || || M || || || M || || Y || || #80 || Reform the monomorphism restriction 92 92 || || M || Y || || Y || AW || Y || Y || A || Y || || Y || Y || || A || Y || || A || #78 || Add infix type constructors 93 93 || N || || Y || || N || N || N || N || Y || N || N || Y || || || Y || N || R || || #82 || Allow import declarations anywhere at the top level 94 || || || Y || || || || || Y || A || Y || A || Y || || || 95 || Y* || || M || || || || M || M || || M || || M || || || 96 || || || N || || M || N || N || N || N || M || N || N || || || || M || R || N || #19 || control export and import of class instances97 || || || Y || || || || Y || Y || N || Y || || Y || || || || || || Y || #17 || relax restriction on signatures of class methods98 || Y* || || N || || Y || Y || N || || Y || N || N || || || || 99 || || N || Y || || N || N || N || Y || Y || Y || R || || || || || || R || || #64 || add recursive do syntax100 || || M || M || || || Y || N || N* || N || Y || N || Y || || || Y || || N || || #37 || add GADTs101 || || N || N || || N || N || N || N || Y || Y* || R || M || N || || || Y || R || M || #73 || add views102 || || N || N || Y || || M || || || R || N || N || N || || || || || N || || #71 || Allow Undecidable Instances103 || || N || Y* || || || || || N || R || M || R || Y || || || || || N || N || #54 || add overlapping or incoherent instances104 || N || N || N || || N || R || N || N || R || N || R || N || N || || N || || R || N || #43 || add Linear implicit params105 || M || M || N || || || M || N || || Y || Y || || M || N || || || M || M || YM || #36 || add FunctionalDependencies106 || Y || N || Y || || N || N || N || Y || || N || N || Y || || || || N || Y || Y || #77 || add MultiWayIf107 || || N || N || || N || || N || Y || || Y || N || || || || Y || N || || N || #69 || allow tuple sections108 || N || N || N || || N || N || N || N || R || N || R || || N || || || N || R || N || #38 || add implicit parameters109 || M || M || M || || || M || N || M || M || N || || M || N || || || || || N || #14 || add Associated Types110 || N || M || N || || N || N || N || N || || N || N || || || || || N || N || || #13 || add Arrows111 || N || || N || || N || N || N || Y* || || N || N || N || || || || || || N || #18 || add closed classes112 || || || Y || || Y || AW || Y || Y || A || Y || N || Y || Y || || Y || || A || A || #84 || Kind Annotations113 || || || N || || || || || || || || N || N || || || || || Y || || #101|| Class aliases114 || || || Y || || || || || || Y || || || Y || || || || || || Y || #103|| MonomorphicPatternBindings94 || || || Y || || || || || Y || A || Y || A || Y || || || A || || || Y || #81 || scoping of type variables in class instances 95 || Y* || || M || || || || M || M || || M || || M || || || Y* || || M || M || #88 || unified and extensible annotations 96 || || || N || || M || N || N || N || N || M || N || N || || || R || M || R || N || #19 || control export and import of class instances 97 || || || Y || || || || Y || Y || N || Y || || Y || || || Y || || || Y || #17 || relax restriction on signatures of class methods 98 || Y* || || N || || Y || Y || N || || Y || N || N || || || || Y* || Y || || Y || #68 || Eliminate tabs 99 || || N || Y || || N || N || N || Y || Y || Y || R || || || || N || || R || || #64 || add recursive do syntax 100 || || M || M || || || Y || N || N* || N || Y || N || Y || || || Y || || N || || #37 || add GADTs 101 || || N || N || || N || N || N || N || Y || Y* || R || M || N || || R || Y || R || M || #73 || add views 102 || || N || N || Y || || M || || || R || N || N || N || || || N || || N || || #71 || Allow Undecidable Instances 103 || || N || Y* || || || || || N || R || M || R || Y || || || Y || || N || N || #54 || add overlapping or incoherent instances 104 || N || N || N || || N || R || N || N || R || N || R || N || N || || N || || R || N || #43 || add Linear implicit params 105 || M || M || N || || || M || N || || Y || Y || || M || N || || M || M || M || YM || #36 || add FunctionalDependencies 106 || Y || N || Y || || N || N || N || Y || || N || N || Y || || || Y || N || Y || Y || #77 || add MultiWayIf 107 || || N || N || || N || || N || Y || || Y || N || || || || Y || N || || N || #69 || allow tuple sections 108 || N || N || N || || N || N || N || N || R || N || R || || N || || R || N || R || N || #38 || add implicit parameters 109 || M || M || M || || || M || N || M || M || N || || M || N || || M || || || N || #14 || add Associated Types 110 || N || M || N || || N || N || N || N || || N || N || || || || N || N || N || || #13 || add Arrows 111 || N || || N || || N || N || N || Y* || || N || N || N || || || R || || || N || #18 || add closed classes 112 || || || Y || || Y || AW || Y || Y || A || Y || N || Y || Y || || Y || || A || A || #84 || Kind Annotations 113 || || || N || || || || || || || || N || N || || || Y* || || Y || || #101 || Class aliases 114 || || || Y || || || || || || Y || || || Y || || || Y || || || Y || #103 || MonomorphicPatternBindings 115 115 ---- 116 116 Member key:
