Changes between Version 6 and Version 7 of Status
- Timestamp:
- 03/25/08 13:57:05 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Status
v6 v7 8 8 || add ExistentialQuantification (existential components) || #26 || syntax of existentials 9 9 || add PolymorphicComponents || #57 || Draft available 10 || || || ||dependency on Rank2Types or RankNTypes10 || || || dependency on Rank2Types or RankNTypes 11 11 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2? 12 12 || add multi-parameter type classes (MultiParamTypeClasses) || #49 || see MultiParamTypeClassesDilemma … … 23 23 || KindAnnotations || #84 || 24 24 || improve [wiki:Defaulting] rules || #21 || scope of default clauses 25 || || || ||impact on existing defaults25 || || || impact on existing defaults 26 26 || generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation" 27 || || || ||overlap with TypeSynonymInstances27 || || || overlap with TypeSynonymInstances 28 28 || ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables 29 29 || BangPatterns || #76 || top-level bang patterns 30 || || || ||interaction with ! as an operator31 || || || ||bang-pattern polymorphism32 || || || ||existentials and bang patterns30 || || || interaction with ! as an operator 31 || || || bang-pattern polymorphism 32 || || || existentials and bang patterns 33 33 || make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers 34 34 || add NewPragmas || #51 || choose specific pragmas to standardize 35 35 || FlexibleInstances || #32 || choice of instance conditions for termination of typechecking 36 || || || ||poor interaction with NewtypeDeriving?36 || || || poor interaction with NewtypeDeriving? 37 37 || fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions? 38 38 || NondecreasingIndentation || #53 || 39 39 || RelaxedDependencyAnalysis || #65 || 40 40 || allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving? 41 || || || ||Not very useful without FlexibleInstances and/or OverlappingInstances41 || || || Not very useful without FlexibleInstances and/or OverlappingInstances 42 42 === Undecided Proposals === 43 43 || MonomorphicPatternBindings || #103 || … … 92 92 || add [wiki:RankNTypes] or [wiki:Rank2Types] || #60 || RankN or Rank2? 93 93 || add PolymorphicComponents || #57 || Draft available 94 || || || ||dependency on Rank2Types or RankNTypes94 || || || dependency on Rank2Types or RankNTypes 95 95 || add ExistentialQuantification (existential components) || #26 || syntax of existentials 96 96 || add HierarchicalModules || #24 || See addendum … … 101 101 || DoAndIfThenElse for case-statements too? || || 102 102 || allow TypeSynonymInstances || #70 || superseded by NewtypeDeriving? 103 || || || ||Not very useful without FlexibleInstances and/or OverlappingInstances103 || || || Not very useful without FlexibleInstances and/or OverlappingInstances 104 104 || RelaxedDependencyAnalysis || #65 || 105 105 || NondecreasingIndentation || #53 || 106 106 || fix the lexical syntax for QualifiedIdentifiers || #39 || permit qualified identifiers in definitions? 107 107 || FlexibleInstances || #32 || choice of instance conditions for termination of typechecking 108 || || || ||poor interaction with NewtypeDeriving?108 || || || poor interaction with NewtypeDeriving? 109 109 || add NewPragmas || #51 || choose specific pragmas to standardize 110 110 || make [wiki:Underscore] caseless || #72 || treatment of underscore-only identifiers 111 111 || BangPatterns || #76 || top-level bang patterns 112 || || || ||interaction with ! as an operator113 || || || ||bang-pattern polymorphism114 || || || ||existentials and bang patterns112 || || || interaction with ! as an operator 113 || || || bang-pattern polymorphism 114 || || || existentials and bang patterns 115 115 || ScopedTypeVariables || #67 #81 || specification of syntax that binds type variables 116 116 || generalized deriving for newtype (NewtypeDeriving) || #52 || specification that does not use the term "the same representation" 117 || || || ||overlap with TypeSynonymInstances117 || || || overlap with TypeSynonymInstances 118 118 || improve [wiki:Defaulting] rules || #21 || scope of default clauses 119 || || || ||impact on existing defaults119 || || || impact on existing defaults 120 120 || KindAnnotations || #84 || 121 121 || MonomorphicPatternBindings || #10 #3 || treatment of pattern bindings with explicit type signatures
