Changes between Version 23 and Version 24 of StrawPoll-2
- Timestamp:
- 08/18/06 16:01:59 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StrawPoll-2
v23 v24 41 41 || IJ || JL || MC || JG || BH || AL || SM || JM || RN || HN || RP || SPJ || DS || MS || AT || SJT || MW || SW || Ticket || Description 42 42 || || || x || || || || || || || || || x || || || || || || || - || I have completed voting. 43 || Y || Y || A || Y || || Y || Y || M || Y|| Y || || Y || Y || || Y || M || Y* || Y || #74 || add some kind of concurrency44 || Y || Y || AW || Y || Y || A || Y || Y || Y|| Y || Y || Y || Y || || Y || Y || A || A || #35 || add ForeignFunctionInterface45 || Y || M || Y || || || M || || || Y|| Y || || Y || || || Y || Y || Y* || YM || #49 || add multi parameter type classes46 || || Y || Y || || Y || YW || Y || Y || Y|| Y || Y || Y || Y || || Y || Y || A || A || #60 || add RankNTypes or Rank2Types47 || || M || Y || || Y || YW || Y || Y || 48 || Y || M || A || Y || Y || AW || Y || Y || 49 || || || M || || Y || Y || || Y || Y|| Y || Y || || || || || M || || N || #85 || more liberal kind inference43 || Y || Y || A || Y || || Y || Y || M || A || Y || || Y || Y || || Y || M || Y* || Y || #74 || add some kind of concurrency 44 || Y || Y || AW || Y || Y || A || Y || Y || A || Y || Y || Y || Y || || Y || Y || A || A || #35 || add ForeignFunctionInterface 45 || Y || M || Y || || || M || || || A || Y || || Y || || || Y || Y || Y* || YM || #49 || add multi parameter type classes 46 || || Y || Y || || Y || YW || Y || Y || A || Y || Y || Y || Y || || Y || Y || A || A || #60 || add RankNTypes or Rank2Types 47 || || M || Y || || Y || YW || Y || Y || Y || Y || Y || Y || Y || || Y || Y || || A || #57 || add polymorphic components 48 || Y || M || A || Y || Y || AW || Y || Y || Y || Y || Y || Y || Y || || Y || Y || A || A || #26 || add ExistentialQuantification (existential components) 49 || || || M || || Y || Y || || Y || A || Y || Y || || || || || M || || N || #85 || more liberal kind inference 50 50 || M || || Y || || Y || Y || Y || Y || Y || Y || || Y || || ||Y || Y || N || Y || #70 || allow TypeSynonymInstances 51 || || N || A || || Y || Y || Y || Y || Y|| Y || Y || Y || Y || || Y || Y || || Y || #65 || Relax Dependency Analysis52 || Y* || N || A || || || Y || || N || 53 || Y* || N ||Y(3)||Y(3)|| || || Y || Y || Y|| M || || || || || Y || Y || Y || Y(3) || #29 || add ExtensibleExceptions54 || Y || Y || A || Y || Y || A || Y || Y || Y|| Y || Y || Y || Y || || Y || Y || A || Y || #24 || add HierarchicalModules55 || Y || || Y || Y || Y || Y || Y || || Y|| || Y || || Y || ||Y || Y || || || #89 || standardize the System.FilePath module for Haskell'56 || || || Y || || || Y || Y || Y || Y|| Y || || || Y || ||Y || || || Y || #53 || Nondecreasing Indentation51 || || N || A || || Y || Y || Y || Y || A || Y || Y || Y || Y || || Y || Y || || Y || #65 || Relax Dependency Analysis 52 || Y* || N || A || || || Y || || N || Y || Y || Y || Y || || || || || Y || || #39 || add ImpreciseExceptions 53 || Y* || N ||Y(3)||Y(3)|| || || Y || Y ||A(3)|| M || || || || || Y || Y || Y || Y(3) || #29 || add ExtensibleExceptions 54 || Y || Y || A || Y || Y || A || Y || Y || A || Y || Y || Y || Y || || Y || Y || A || Y || #24 || add HierarchicalModules 55 || Y || || Y || Y || Y || Y || Y || || A || || Y || || Y || ||Y || Y || || || #89 || standardize the System.FilePath module for Haskell' 56 || || || Y || || || Y || Y || Y || A || Y || || || Y || ||Y || || || Y || #53 || Nondecreasing Indentation 57 57 || Y || Y || Y || || Y || A || Y || Y || Y || Y || || Y || Y || || || Y || A || A || #25 || add EmptyDataDeclarations 58 || Y || || Y || || || Y || || Y || Y|| Y || Y || || Y || ||Y || Y || A || Y || #23 || fix common pitfall with the do-notation and if-then-else59 || Y || Y || Y || Y || || Y || Y || Y* || Y*|| M || Y || Y || Y || ||Y(1)|| || A*|| || #15 || add a binary IO interface60 || || || Y || || Y || Y || || Y || 61 || || || Y || || Y || Y || Y || Y || 62 || || || Y || || || M || || || M|| Y || || Y || || || || || || || #32 || add FlexibleInstances63 || || || || || || || || || M|| || || Y || || || || || || || #31 || add Flexible Contexts64 || Y || Y || Y || || Y || Y || Y || Y || Y|| Y || || Y || Y || || Y || || Y || Y || #56 || add Pattern Guards65 || M || M || Y || || || || || M || Y|| Y || || Y || Y || || || || || Y || #51 || add new pragmas66 || || N || M || || || || N || || 67 || Y || || || || || Y || Y || Y || 68 || N || Y || N || || N || R || N || N || N|| N || N || || N || || N || N || R || N || #20 || Eliminate . as an operator69 || Y* || || Y || || Y || Y || Y || Y || 58 || Y || || Y || || || Y || || Y || A || Y || Y || || Y || ||Y || Y || A || Y || #23 || fix common pitfall with the do-notation and if-then-else 59 || Y || Y || Y || Y || || Y || Y || Y* ||A(1)|| M || Y || Y || Y || ||Y(1)|| || A*|| || #15 || add a binary IO interface 60 || || || Y || || Y || Y || || Y || Y || Y || || || Y || || || || Y || || #59 || Fix the lexical syntax for qualified identifiers 61 || || || Y || || Y || Y || Y || Y || Y || Y || Y || || Y || || || || Y || Y || #42 || fix comment syntax grammar 62 || || || Y || || || M || || || Y || Y || || Y || || || || || || || #32 || add FlexibleInstances 63 || || || || || || || || || Y || || || Y || || || || || || || #31 || add Flexible Contexts 64 || Y || Y || Y || || Y || Y || Y || Y || A || Y || || Y || Y || || Y || || Y || Y || #56 || add Pattern Guards 65 || M || M || Y || || || || || M || A || Y || || Y || Y || || || || || Y || #51 || add new pragmas 66 || || N || M || || || || N || || N || N || || || || || || M || AW || M || #79 || Natural numbers 67 || Y || || || || || Y || Y || Y || Y || Y || N || || Y || ||Y || || A || Y || #72 || Make underscore 'caseless' 68 || N || Y || N || || N || R || N || N || R || N || N || || N || || N || N || R || N || #20 || Eliminate . as an operator 69 || Y* || || Y || || Y || Y || Y || Y || Y || || Y || || Y || || || || AW|| || #61 || replace the Read class 70 70 || || M || Y || || || || Y || || || M || || || || || N || N || R || || #96 || Replace the array indexing operator, '!' 71 || || ||N&Y || || M || Y || Y* || Y* || 72 || || || N || || N || || Y || N || Y|| M || N || N || || || || || || N || #86 || add PartialTypeAnnotations?73 || Y* || Y || Y || || || || || Y || 71 || || ||N&Y || || M || Y || Y* || Y* || Y || Y* || N || Y || || || || M || || || #95 || improve module interfaces 72 || || || N || || N || || Y || N || N || M || N || N || || || || || || N || #86 || add PartialTypeAnnotations? 73 || Y* || Y || Y || || || || || Y || Y || M || N || Y || || || || || N || || #76 || Bang patterns 74 74 || || || YM || || || M || Y* || YM || Y || Y* || || YM || || || || M || Y || Y* || #67 || add Scoped Type Variables 75 || N || || N || || N || N || Y* || Y* || Y|| N || N || || N || || || N || || || #62 || allow data consructors to be exported and imported readonly75 || N || || N || || N || N || Y* || Y* || N || N || N || || N || || || N || || || #62 || allow data consructors to be exported and imported readonly 76 76 || Y* || M || M || || || || N || || Y || || || || || || || || AW|| || #58 || prelude re-organisation proposal 77 77 || || Y || Y || || N || N || N || Y || || N || N || N || || || Y || N || R || || #55 || add Parallel List comprehensions 78 78 || || Y || Y || || || M || Y || Y || Y || Y || N || Y || || || Y || || A || Y || #52 || Generalised deriving for newtype 79 || N || M || N || || N || || N || Y || N|| N || N || Y || N || || N || N || || Y || #50 || get rid of unary '-' operator79 || N || M || N || || N || || N || Y || || N || N || Y || N || || N || N || || Y || #50 || get rid of unary '-' operator 80 80 || || || || || || || || || || M || || || || || || || || || #48 || clarify module system proposals 81 || || || || || N || N || || N || 81 || || || || || N || N || || N || N || N || N || || || || || 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 || || || || || || || || #34 || add ForeignData 84 84 || Y || || || || || || Y* || Y || Y || || || || || || || || || || #33 || add Blockable 85 || || || Y || || || || Y || Y || 85 || || || Y || || || || Y || Y || Y || Y || || Y || || || || || Y || || #30 || remove operator fixity resolution from the context-free grammar 86 86 || || M || N || || || || || Y || || || N || N || || || || || N || || #28 || Require explicit quantification on all expression bound type signatures 87 87 || || || Y || || || Y || || M || Y || || || || || || || || Y || || #21 || improve defaulting rules 88 || || N || N || || || N || N || M || 88 || || N || N || || || N || N || M || N || N || N || N || || || || || || N || #92 || add First Class Labels 89 89 || || N || N || || || || N || N || || N || Y || N || || || || || Y || || #99 || Move existing named field (record) system to an addendum 90 90 || || N || N || || || || N || N || N || N || N || N || || || || || N || || #100 || Replace named fields with an extensible record system 91 || || M || M || || || || M || Y || 92 || || M || Y || || Y || AW || Y || Y || Y|| Y || || Y || Y || || Y || Y || || A || #78 || Add infix type constructors91 || || M || M || || || || M || Y || Y || || || M || || || || || Y || || #80 || Reform the monomorphism restriction 92 || || M || Y || || Y || AW || Y || Y || A || Y || || Y || Y || || Y || Y || || A || #78 || Add infix type constructors 93 93 || N || || Y || || N || N || N || N || Y || N || N || Y || || || || || R || || #82 || Allow import declarations anywhere at the top level 94 || || || Y || || || || || Y || Y|| Y || Y || Y || || || || || || Y || #81 || scoping of type variables in class instances94 || || || Y || || || || || Y || A || Y || Y || Y || || || || || || Y || #81 || scoping of type variables in class instances 95 95 || Y* || || M || || || || M || M || || M || || M || || || || || M || M || #88 || unified and extensible annotations 96 || || || N || || M || N || N || N || 97 || || || Y || || || || Y || Y || 96 || || || N || || M || N || N || N || N || M || N || N || || || || M || R || N || #19 || control export and import of class instances 97 || || || Y || || || || Y || Y || N || Y || || Y || || || || || || Y || #17 || relax restriction on signatures of class methods 98 98 || Y* || || N || || Y || Y || N || || Y || N || N || || || || || Y || || Y || #68 || Eliminate tabs 99 99 || || N || Y || || N || N || N || Y || Y || Y || N || || || || || || R || || #64 || add recursive do syntax 100 100 || || M || M || || || Y || N || N* || N || Y || N || Y || || || Y || || N || || #37 || add GADTs 101 101 || || N || N || || N || N || N || N || Y || Y* || N || M || N || || || Y || R || M || #73 || add views 102 || || N || N || Y || || M || || || N|| N || || N || || || || || N || || #71 || Allow Undecidable Instances103 || || N || Y* || || || || || N || N|| M || N || Y || || || || || N || N || #54 || add overlapping or incoherent instances104 || N || N || N || || N || R || N || N || N|| N || N || N || N || || N || || R || N || #43 || add Linear implicit params102 || || N || N || Y || || M || || || R || N || || N || || || || || N || || #71 || Allow Undecidable Instances 103 || || N || Y* || || || || || N || R || M || N || Y || || || || || N || N || #54 || add overlapping or incoherent instances 104 || N || N || N || || N || R || N || N || R || N || N || N || N || || N || || R || N || #43 || add Linear implicit params 105 105 || M || M || N || || || M || N || || Y || Y || || M || N || || || M || M || YM || #36 || add FunctionalDependencies 106 106 || Y || N || Y || || N || N || N || Y || || N || N || Y || || || || N || Y || Y || #77 || add MultiWayIf 107 107 || || N || N || || N || || N || Y || || Y || N || || || || Y || || || N || #69 || allow tuple sections 108 || N || N || N || || N || N || N || N || N|| N || N || || N || || || N || R || N || #38 || add implicit parameters108 || N || N || N || || N || N || N || N || R || N || N || || N || || || N || R || N || #38 || add implicit parameters 109 109 || M || M || M || || || M || N || M || M || N || || M || N || || || || || N || #14 || add Associated Types 110 110 || N || M || N || || N || N || N || N || || N || N || || || || || N || N || || #13 || add Arrows 111 111 || N || || N || || N || N || N || Y* || || N || N || N || || || || || || N || #18 || add closed classes 112 || || || Y || || Y || AW || Y || Y || Y|| Y || N || Y || Y || || Y || || A || A || #84 || Kind Annotations112 || || || Y || || Y || AW || Y || Y || A || Y || N || Y || Y || || Y || || A || A || #84 || Kind Annotations 113 113 || || || N || || || || || || || || || N || || || || || Y || || #101 || Class aliases 114 || || || Y || || || || || || 114 || || || Y || || || || || || Y || || || Y || || || || || || Y || #103 || MonomorphicPatternBindings 115 115 ---- 116 116 Member key:
