#63 |
"Informal Semantics of Pattern Matching", is a bit vague on matching record patterns.
|
new
|
|
defect
|
normal
|
⊥
|
#104 |
Add Time Library
|
new
|
none
|
task
|
normal
|
⊥
|
#107 |
Add assertions
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#78 |
Add infix type constructors
|
new
|
none
|
task
|
normal
|
⊥
|
#71 |
Allow Undecidable Instances
|
new
|
|
enhancement
|
normal
|
⊥
|
#82 |
Allow import declarations anywhere at the top level
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#117 |
Allow unnamed record fields
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#112 |
Break unnecessary dependencies between Haskell numeric classes
|
new
|
none
|
task
|
normal
|
⊥
|
#101 |
Class Aliases
|
new
|
none
|
task
|
normal
|
⊥
|
#97 |
Collection library interface
|
new
|
none
|
task
|
normal
|
⊥
|
#115 |
Complex arithmetic misbehaves in boundary cases
|
new
|
|
task
|
normal
|
⊥
|
#16 |
Create unicode proposal
|
new
|
|
task
|
normal
|
⊥
|
#121 |
ExitCode consistency
|
new
|
none
|
task
|
normal
|
⊥
|
#123 |
Fix Ord so Ord Double and Ord Float make sense
|
new
|
none
|
modification
|
normal
|
⊥
|
#59 |
Fix the lexical syntax for qualified identifiers
|
new
|
|
modification
|
normal
|
⊥
|
#52 |
Generalised deriving for newtype
|
new
|
none
|
modification
|
normal
|
⊥
|
#110 |
Generalize types of IO actions
|
new
|
none
|
task
|
normal
|
⊥
|
#126 |
Instances of Read on bounded integral types should fail on overflow
|
new
|
|
modification
|
normal
|
⊥
|
#84 |
Kind Annotations
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#103 |
Make pattern bindings monomorphic
|
new
|
|
task
|
normal
|
⊥
|
#72 |
Make underscore 'caseless'
|
new
|
|
enhancement
|
normal
|
⊥
|
#99 |
Move existing named field (record) system to an addendum.
|
new
|
none
|
task
|
normal
|
⊥
|
#53 |
Nondecreasing Indentation
|
new
|
|
modification
|
normal
|
⊥
|
#116 |
Read Char instance, for [Char], and ['a', 'b'] syntax
|
new
|
none
|
task
|
normal
|
⊥
|
#80 |
Reform the monomorphism restriction
|
new
|
none
|
defect
|
normal
|
⊥
|
#118 |
Remove libraries from the report (to the greatest extent possible)
|
new
|
none
|
task
|
normal
|
⊥
|
#125 |
Rename interact to iofilter
|
new
|
|
task
|
normal
|
⊥
|
#100 |
Replace named fields with an extensible record system
|
new
|
none
|
task
|
normal
|
⊥
|
#96 |
Replace the array indexing operator, '!'
|
new
|
|
modification
|
normal
|
⊥
|
#28 |
Require explicit quantification on all expression bound type sigatures
|
new
|
|
modification
|
normal
|
⊥
|
#98 |
Restricted Data Types Now
|
new
|
none
|
task
|
normal
|
⊥
|
#120 |
Should sum and product be strict? Or have strict variants?
|
new
|
none
|
modification
|
normal
|
⊥
|
#94 |
Syntax for specifing language extensions
|
new
|
none
|
task
|
normal
|
⊥
|
#91 |
Unify various annotation proposals
|
new
|
none
|
task
|
normal
|
⊥
|
#13 |
add Arrows
|
new
|
|
enhancement
|
normal
|
⊥
|
#14 |
add Associated Types
|
new
|
|
enhancement
|
normal
|
⊥
|
#33 |
add Blockable
|
new
|
|
enhancement
|
normal
|
⊥
|
#29 |
add ExtensibleExceptions
|
new
|
|
enhancement
|
normal
|
⊥
|
#92 |
add First Class Labels
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#31 |
add Flexible Contexts
|
new
|
|
enhancement
|
normal
|
⊥
|
#32 |
add FlexibleInstances
|
new
|
|
enhancement
|
normal
|
⊥
|
#34 |
add ForeignData
|
new
|
|
enhancement
|
normal
|
⊥
|
#36 |
add FunctionalDependencies
|
new
|
|
enhancement
|
normal
|
⊥
|
#37 |
add GADTs
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#39 |
add ImpreciseExceptions
|
new
|
|
enhancement
|
normal
|
⊥
|
#102 |
add Liberal Type Synonyms
|
new
|
none
|
task
|
normal
|
⊥
|
#43 |
add Linear implicit params
|
new
|
none
|
enhancement
|
normal
|
⊥
|
#55 |
add Parallel List comprehensions
|
new
|
|
enhancement
|
normal
|
⊥
|
#86 |
add PartialTypeAnnotations?
|
new
|
none
|
task
|
normal
|
⊥
|
#60 |
add RankNTypes or Rank2Types
|
new
|
|
enhancement
|
normal
|
⊥
|
#67 |
add Scoped Type Variables
|
new
|
|
enhancement
|
normal
|
⊥
|
(more results for this group on next page)
|