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

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

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

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

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

    …(thus now used for Let, Lam, and here)
    atzedijkstra committed with norm2782 Apr 18, 2012
  6. Fix of scanning of 'Prelude..' which dropped the 'Prelude' qualifier,…

    … 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.
    atzedijkstra committed with norm2782 Apr 16, 2012
  7. Fix of lacking propagation of tvar substitution after defaulting insi…

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

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

    … temporary hack around it in fixIO in System.IO.Fix. Todo: include a proper regression test case for fixIO.
    atzedijkstra committed with norm2782 Apr 12, 2012
  10. Fix of type lambdas not properly reduced when they are etareducible. …

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

    …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.
    atzedijkstra committed with norm2782 Apr 5, 2012
  12. Toplevel README

    atzedijkstra committed with norm2782 Apr 2, 2012
  13. make variant 8 compild

    atzedijkstra committed with norm2782 Apr 2, 2012
  14. Include branch name in GITHASH

    norm2782 committed Mar 31, 2012
  15. Apply patches

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

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

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

    … 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
    atzedijkstra committed Mar 19, 2012
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