Changes between Version 3 and Version 4 of Status


Ignore:
Timestamp:
Mar 25, 2008 6:45:37 PM (7 years ago)
Author:
trac
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status

    v3 v4  
    3838|| add PatternGuards || #56 || done ||
    3939|| DoAndIfThenElse || #23 || done ||
     40|| more liberal kind inference || #85 ||  ||
     41|| standardize the System.FilePath module || #89 ||  ||
     42|| add EmptyDataDeclarations || #25 ||  ||
     43|| add a binary IO interface || #15 ||  ||
     44|| add Flexible Contexts || #31 ||  ||
     45|| Natural numbers || #79 ||  ||
     46|| Make underscore 'caseless' || #72 ||  ||
     47|| Eliminate . as an operator || #20 ||  ||
     48|| replace the Read class || #61 ||  ||
     49|| Replace the array indexing operator, '!' || #96 ||  ||
     50|| improve module interfaces || #95 ||  ||
     51|| add PartialTypeAnnotations || #86 ||  ||
     52|| allow data constructors to be exported and imported readonly || #62 ||  ||
     53|| prelude re-organisation proposal || #58 ||  ||
     54|| add Parallel List comprehensions || #55 ||  ||
     55|| get rid of unary '-' operator || #50 ||  ||
     56|| clarify module system proposals || #48 ||  ||
     57|| add MagicUnderscore || #44 ||  ||
     58|| add LambdaCase || #41 ||  ||
     59|| add ForeignData || #34 ||  ||
     60|| add Blockable || #33 ||  ||
     61|| Require explicit quantification on all expression bound type signatures || #28 ||  ||
     62|| add First Class Labels || #92 ||  ||
     63|| Move existing named field (record) system to an addendum || #99 ||  ||
     64|| Replace named fields with an extensible record system || #100 ||  ||
     65|| Reform the monomorphism restriction || #80 ||  ||
     66|| Allow import declarations anywhere at the top level || #82 ||  ||
     67|| unified and extensible annotations || #88 ||  ||
     68|| control export and import of class instances || #19 ||  ||
     69|| relax restriction on signatures of class methods || #17 ||  ||
     70|| Eliminate tabs || #68 ||  ||
     71|| add recursive do syntax || #64 ||  ||
     72|| add GADTs || #37 ||  ||
     73|| add views || #73 ||  ||
     74|| Allow Undecidable Instances || #71 ||  ||
     75|| add overlapping or incoherent instances || #54 ||  ||
     76|| add Linear implicit params || #43 ||  ||
     77|| add FunctionalDependencies || #36 ||  ||
     78|| add MultiWayIf || #77 ||  ||
     79|| allow tuple sections || #69 ||  ||
     80|| add implicit parameters || #38 ||  ||
     81|| add Associated Types || #14 ||  ||
     82|| add closed classes || #18 ||  ||
     83|| Class aliases || #101 ||  ||
     84|| MonomorphicPatternBindings || #103 ||  ||