wiki:Status

Version 2 (modified by trac, 6 years ago) (diff)

--

Haskell' Status Page

DO NOT EDIT! This page is automatically generated by http://darcs.haskell.org/haskell-prime-status/status.hs

add Concurrency #74 accepted draft text: Concurrency/DraftReportText
add ForeignFunctionInterface #35 accepted
add multi-parameter type classes (MultiParamTypeClasses) #49 accepted see MultiParamTypeClassesDilemma
add RankNTypes or Rank2Types #60 accepted RankN or Rank2?
add PolymorphicComponents #57 accepted Draft available
dependency on Rank2Types or RankNTypes
add ExistentialQuantification (existential components) #26 accepted syntax of existentials
add HierarchicalModules #24 accepted See addendum
add EmptyDataDeclarations #25 accepted dependency on KindAnnotations
add InfixTypeConstructors #78 accepted
remove FixityResolution from the context-free grammar #30 accepted
ImpreciseExceptions #39 rejected
DoAndIfThenElse for case-statements too?
allow TypeSynonymInstances #70 probably-accept superseded by NewtypeDeriving?
Not very useful without FlexibleInstances and/or OverlappingInstances
RelaxedDependencyAnalysis #65 probably-accept
NondecreasingIndentation #53 probably-accept
fix the lexical syntax for QualifiedIdentifiers #39 probably-accept permit qualified identifiers in definitions?
FlexibleInstances #32 probably-accept choice of instance conditions for termination of typechecking
poor interaction with NewtypeDeriving?
add NewPragmas #51 probably-accept choose specific pragmas to standardize
make Underscore caseless #72 probably-accept treatment of underscore-only identifiers
BangPatterns #76 probably-accept top-level bang patterns
interaction with ! as an operator
bang-pattern polymorphism
existentials and bang patterns
ScopedTypeVariables #67 #81 probably-accept specification of syntax that binds type variables
generalized deriving for newtype (NewtypeDeriving) #52 probably-accept specification that does not use the term "the same representation"
overlap with TypeSynonymInstances
improve Defaulting rules #21 probably-accept scope of default clauses
impact on existing defaults
KindAnnotations #84 probably-accept
MonomorphicPatternBindings #10 #3 probably-accept treatment of pattern bindings with explicit type signatures
fix comment syntax grammar (LineCommentSyntax) #42 done
add PatternGuards #56 done
DoAndIfThenElse #23 done