{9} Proposals (107 matches)
Proposals, grouped by adoption status and ordered by priority and impact (see How to create a proposal).
adopt: probably yes
| Ticket | Summary | Priority | Impact | Type | Status | Owner |
|---|---|---|---|---|---|---|
| #74 | add some kind of concurrency | critical | normal | enhancement | new | simonmar@microsoft.com |
| #35 | add ForeignFunctionInterface | critical | normal | enhancement | new | chak@cse.unsw.edu.au |
| #49 | add multi parameter type classes | major | major | enhancement | new | ravi@bluespec.com |
| #60 | add RankNTypes or Rank2Types | major | large | enhancement | new | ravi@bluespec.com |
| #57 | add polymorphic components | major | large | enhancement | new | ross@soi.city.ac.uk |
| #26 | add ExistentialQuantification | major | large | enhancement | new | s.j.thompson@kent.ac.uk |
| #99 | Move existing named field (record) system to an addendum. | major | task | new | none | |
| #85 | more liberal kind inference | major | normal | defect | new | ross@soi.city.ac.uk |
| #70 | allow TypeSynonymInstances | major | normal | enhancement | new | s.j.thompson@kent.ac.uk |
| #65 | Relax Dependency Analysis | major | normal | modification | new | ross@soi.city.ac.uk |
| #39 | add ImpreciseExceptions | major | normal | enhancement | new | simonmar@microsoft.com |
| #29 | add ExtensibleExceptions | major | normal | enhancement | new | simonmar@microsoft.com |
| #24 | add HierarchicalModules | major | normal | enhancement | new | malcolm.wallace@cs.york.ac.uk |
| #106 | Adding deepSeq/strict to Haskell' beside seq. | major | minor | task | new | none |
| #89 | standardize the System.FilePath module for Haskell' | major | minor | enhancement | new | ijones |
| #53 | Nondecreasing Indentation | major | minor | modification | new | simonmar@microsoft.com |
| #25 | add EmptyDataDeclarations | major | minor | enhancement | new | simonmar@microsoft.com |
| #23 | fix common pitfall with the do-notation and if-then-else | major | minor | modification | new | nhn@cs.nott.ac.uk |
| #15 | add a binary IO interface | major | minor | enhancement | new | dons@cse.unsw.edu.au |
| #59 | Fix the lexical syntax for qualified identifiers | major | trivial | modification | new | simonmar@microsoft.com |
| #42 | fix comment syntax grammar | major | trivial | defect | new | simonmar@microsoft.com |
| #32 | add FlexibleInstances | minor | major | enhancement | new | ravi@bluespec.com |
| #31 | add Flexible Contexts | minor | major | enhancement | new | ravi@bluespec.com |
| #56 | add Pattern Guards | minor | normal | enhancement | new | simonmar@microsoft.com |
| #51 | add new pragmas | minor | normal | enhancement | new | john@repetae.net |
| #79 | Natural numbers | minor | minor | enhancement | assigned | malcolm.wallace@cs.york.ac.uk |
| #72 | Make underscore 'caseless' | minor | minor | enhancement | new | malcolm.wallace@cs.york.ac.uk |
adopt: maybe
| Ticket | Summary | Priority | Impact | Type | Status | Owner |
|---|---|---|---|---|---|---|
| #20 | Eliminate . as an operator | major | major | removal | new | simonmar@microsoft.com |
| #61 | replace the Read class | major | large | modification | new | ross@soi.city.ac.uk |
| #110 | Generalize types of IO actions | major | normal | task | new | none |
| #97 | Collection library interface | major | task | new | none | |
| #96 | Replace the array indexing operator, '!' | major | normal | modification | new | simonmar |
| #95 | improve module interfaces | major | normal | task | new | none |
| #86 | add PartialTypeAnnotations? | major | task | new | none | |
| #76 | Bang patterns | major | normal | enhancement | new | simonpj@microsoft.com |
| #67 | add Scoped Type Variables | major | normal | enhancement | assigned | sweirich@cis.upenn.edu |
| #62 | allow data consructors to be exported and imported readonly | major | normal | modification | new | john@repetae.net |
| #58 | prelude re-organisation proposal | major | normal | task | new | malcolm.wallace@cs.york.ac.uk |
| #55 | add Parallel List comprehensions | major | normal | enhancement | new | chak@cse.unsw.edu.au |
| #52 | Generalised deriving for newtype | major | normal | modification | new | none |
| #50 | get rid of unary '-' operator | major | normal | removal | new | john@repetae.net |
| #48 | clarify module system proposals | major | normal | task | new | john@repetae.net |
| #44 | add MagicUnderscore | major | normal | enhancement | new | john@repetae.net |
| #41 | add LambdaCase | major | normal | enhancement | new | none |
| #34 | add ForeignData | major | normal | enhancement | new | john@repetae.net |
| #33 | add Blockable | major | normal | enhancement | new | john@repetae.net |
| #30 | remove operator fixity resolution from the context-free grammar, and specify it separately | major | normal | modification | new | simonmar@microsoft.com |
| #28 | Require explicit quantification on all expression bound type sigatures | major | normal | modification | assigned | sweirich@cis.upenn.edu |
| #21 | improve defaulting rules | major | normal | task | new | malcolm.wallace@cs.york.ac.uk |
| #102 | add Liberal Type Synonyms | major | minor | task | new | none |
| #92 | add First Class Labels | major | minor | enhancement | new | none |
| #80 | Reform the monomorphism restriction | major | minor | defect | new | none |
| #78 | Add infix type constructors | major | minor | task | new | none |
| #82 | Allow import declarations anywhere at the top level | major | trivial | enhancement | new | none |
| #81 | scoping of type variables in class instances | minor | large | enhancement | new | none |
| #107 | Add assertions | minor | enhancement | new | none | |
| #88 | unified and extensible annotations | minor | enhancement | new | none | |
| #19 | control export and import of class instances | minor | normal | enhancement | new | ijones |
| #17 | relax restriction on signatures of class methods | minor | minor | modification | new | chak@cse.unsw.edu.au |
| #101 | Class Aliases | minor | trivial | task | new | none |
| #108 | make toEnum and fromEnum take and return Integers | trivial | trivial | task | new | none |
adopt: probably no
| Ticket | Summary | Priority | Impact | Type | Status | Owner |
|---|---|---|---|---|---|---|
| #68 | Eliminate tabs | major | large | removal | new | malcolm.wallace@cs.york.ac.uk |
| #64 | add recursive do syntax | major | large | enhancement | new | chak@cse.unsw.edu.au |
| #37 | add GADTs | major | large | enhancement | new | none |
| #100 | Replace named fields with an extensible record system | major | task | new | none | |
| #73 | add views | major | normal | enhancement | new | malcolm.wallace@cs.york.ac.uk |
| #71 | Allow Undecidable Instances | major | normal | enhancement | new | ravi@bluespec.com |
| #54 | add overlapping or incoherent instances | major | normal | enhancement | new | none |
| #43 | add Linear implicit params | major | normal | enhancement | new | none |
| #36 | add FunctionalDependencies | major | normal | enhancement | new | ravi@bluespec.com |
| #77 | add MultiWayIf | major | minor | enhancement | new | none |
| #69 | allow tuple sections | major | minor | enhancement | new | john@repetae.net |
| #38 | add implicit parameters | major | minor | enhancement | new | ravi@bluespec.com |
| #14 | add Associated Types | minor | large | enhancement | new | chak@cse.unsw.edu.au |
| #13 | add Arrows | minor | large | enhancement | new | ross@soi.city.ac.uk |
| #18 | add closed classes | minor | normal | enhancement | new | chak@cse.unsw.edu.au |
| #84 | Kind Annotations | minor | minor | enhancement | new | none |
adopt: none
Note: See TracReports for help on using and
creating reports.
