Permalink
Commits on Apr 21, 2012
  1. last commit regress tested

    atzedijkstra authored and norm2782 committed Apr 20, 2012
  2. Core internal: App arg now can be also type arg (and other varieties)…

    atzedijkstra authored and norm2782 committed Apr 20, 2012
    …; not regress tested yet for js backend
  3. sync of work

    atzedijkstra authored and norm2782 committed Apr 19, 2012
  4. Core, internal: rename of CBindAspect to CBound, to be used also as m…

    atzedijkstra authored and norm2782 committed Apr 19, 2012
    …ultipurpose argument representation
  5. cleanup: field bindings in case alternative also expressed via CBind …

    atzedijkstra authored and norm2782 committed Apr 18, 2012
    …(thus now used for Let, Lam, and here)
  6. work on type propagation to Core

    atzedijkstra authored and norm2782 committed Apr 18, 2012
  7. Fix of scanning of 'Prelude..' which dropped the 'Prelude' qualifier,…

    atzedijkstra authored and norm2782 committed Apr 16, 2012
    … which mostly does not give problems as '.' is bound to Prelude.. anyway. Went wrong for the '.' def in Control.Category
    
    This has not been fully satisfactorially solved by including state in
    the scanner machinery, remembering that after a qualifier prefix an
    operator symbol usually recognised as a reserved keyword should not be
    recognised as such after a qualifier.
  8. Fix of name dependency not detected in use of datatype in pattern mat…

    atzedijkstra authored and norm2782 committed Apr 16, 2012
    …ch in nested let.
  9. Fix of lacking propagation of tvar substitution after defaulting insi…

    atzedijkstra authored and norm2782 committed Apr 16, 2012
    …de record, inside nested binding
  10. Fix of reference to record field in the presence of value def of same…

    atzedijkstra authored and norm2782 committed Apr 12, 2012
    … name. This would not lead to an error message.
  11. Fix of newIORef being strict in its value argument. Now lazy. Removed…

    atzedijkstra authored and norm2782 committed Apr 12, 2012
    … temporary hack around it in fixIO in System.IO.Fix. Todo: include a proper regression test case for fixIO.
  12. fix for buggy fix involving type synonym expansion for eta reducible …

    atzedijkstra authored and norm2782 committed Apr 12, 2012
    …typelevel lambdas
  13. Fix of type lambdas not properly reduced when they are etareducible. …

    atzedijkstra authored and norm2782 committed Apr 5, 2012
    …This properly expands defs like 'type X a = Y a', which would translate to '\a -> Y a', in which case Y should be used.
  14. Fix of generalization over rigid/fixed tyvars. They are allowed to es…

    atzedijkstra authored and norm2782 committed Apr 5, 2012
    …cape, which is ok except for error messages appearing at usage sites, instead of at the definition site of a function. For now ok, that is erroneous programs do not pass, later probably check at the definition site for the 'escape' of such (skolem) tyvars as the current solution is not entirely satisfactory.
  15. Toplevel README

    atzedijkstra authored and norm2782 committed Apr 2, 2012
  16. make variant 8 compild

    atzedijkstra authored and norm2782 committed Apr 2, 2012
  17. Apply patches

    norm2782 committed Mar 31, 2012
Commits on Mar 20, 2012
  1. - fix of missing error message about mismatch of nr args of functions…

    atzedijkstra committed Mar 20, 2012
    … defined by multiple bindings
    
    - bit of code cleanup of ty beta reduction
Commits on Mar 19, 2012
  1. Corrupted SVNREVISION

    atzedijkstra committed Mar 19, 2012
  2. - fix for cornercase class, single member, single arg, was internally…

    atzedijkstra committed Mar 19, 2012
    … not correctly quantified over
    
    - fix for incorrect expansion of FFI types applied also too aggressively for other types propagating into Core, would give a loop when involving recursive new
Commits on Mar 9, 2012
  1. paper as submitted

    atzedijkstra committed Mar 9, 2012
  2. many small edits

    doaitse committed Mar 9, 2012
Commits on Mar 8, 2012
  1. adapted picture

    atzedijkstra committed Mar 8, 2012
  2. paper cmts incorporated

    atzedijkstra committed Mar 8, 2012
Commits on Mar 7, 2012