Changes between Version 11 and Version 12 of Status/May13


Ignore:
Timestamp:
Apr 17, 2013 12:36:33 PM (2 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/May13

    v11 v12  
    1414  * type holes ['''Thijs Alkemade''']
    1515
    16   * '''Rebindable list syntax.''' A GHC extension called OverloadedLists was added. When this is turned on, the way GHC desugars explicit lists and lists in arithmetic sequence notation is changed. Instead of directly desugaring to built-in lists, a polymorphic witness function is used, similar to the desugaring of numeric literals. This allows for a more flexible use of list notations, supporting many different list-like types. In addition, the functions used in this desugaring process are completely rebindable. For a complete description, check [2].
     16  * '''Rebindable list syntax.''' A GHC extension called OverloadedLists was added. When this is turned on, the way GHC desugars explicit lists and lists in arithmetic sequence notation is changed. Instead of directly desugaring to built-in lists, a polymorphic witness function is used, similar to the desugaring of numeric literals. This allows for a more flexible use of list notations, supporting many different list-like types. In addition, the functions used in this desugaring process are completely rebindable.
    1717
    1818  * major changes to the type inference engine ['''Simon Peyton Jones''']
     
    4141
    4242[1] The new codegen is nearly ready to go live [http://hackage.haskell.org/trac/ghc/blog/newcg-update] [[BR]]
    43 [2] Overloaded lists wiki entry [http://hackage.haskell.org/trac/ghc/wiki/OverloadedLists]