Permalink
Commits on Apr 2, 2012
  1. Add README for GitHub

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

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

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

    atze 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

    atze committed Mar 9, 2012
  2. many small edits

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

    atze committed Mar 8, 2012
  2. paper cmts incorporated

    atze committed Mar 8, 2012
Commits on Mar 7, 2012
  1. oops, debugging flags forgotten to remove

    atze committed Mar 7, 2012
  2. possible fix for use of hsc2hs coming along with ghc 7.4, use of it h…

    atze committed Mar 7, 2012
    …as changed; untested because of lack of suitable 7.4 installation, but works fine with 7.0.3
Commits on Mar 2, 2012
  1. makefile option mistake

    atze committed Mar 2, 2012
  2. paper

    atze committed Mar 2, 2012
Commits on Feb 28, 2012
  1. fixed fix of fixIO for JS backend

    atze committed Feb 28, 2012
  2. fixed fix of fixIO for JS backend

    atze committed Feb 28, 2012
Commits on Feb 27, 2012
  1. AG dependency on file removed (should not be used, but shuffle create…

    atze committed Feb 27, 2012
    …s a dependency too many)
  2. - Added bang patterns, nested combinations with or without irrefutable

    atze committed Feb 27, 2012
    patterns have not been tested. Nor interaction with class instances.
    Keyword letstrict will be removed in due time.
    
    - Cleanup: whole program analysis part is now tagged with aspect name
    'wholeprogAnal' and additionally the Silly/C part with 'wholeprogC', to
    be enabled at ./configure
    
    - Fix for fixIO being too strict, caused by primbindIO being too strict;
    LazyInterleaveIO not checked.
    
    - Bumped version to 1.1.4
    
    WARNING: make clean, rerun ./configure
Commits on Feb 23, 2012
  1. - Cleanup/redo of fake dependencies required for AG

    atze committed Feb 23, 2012
    - Work on infrastructure/syntax for equality predicates, still in unusable state
    - Fix of incorrect parsing for class instances for classes defined by infix operator
    - Paper writing
Commits on Feb 20, 2012
  1. - Bit of tweaking on TreeTrie.

    atze committed Feb 20, 2012
    - Syntax for GADT style data decl (no records, GADT relevant part not (yet) used for typing).
Commits on Feb 15, 2012
  1. - Rewrite of Trie library for storing constraints (class predicate

    atze committed Feb 15, 2012
    instances), see previous commmit message too. No functional change other
    than that more complex predicates are now correctly dealt with (i.e. are
    matched in the Trie). Old stuff needs to be removed still, but left in
    for now.
Commits on Feb 14, 2012
  1. - Cleanup of parts of context reduction code

    atze committed Feb 14, 2012
    - Unresolved predicate error message includes context reduction trace
    (still rough in its pretty print, largely untested for its
    informativeness etc)
    
    - Preparational work for bugfix involving unresolved overloading for
    complex predicates: generalization of Trie library (used for
    representing database of instances/axioms) to better deal with tree like
    structures (flattened representations were thought to be sufficient, but
    are not when combining multiparameter + type synonyms (i.e. scaling
    problem))
Commits on Feb 4, 2012
  1. JS backend, in interpreter removal of trailing commas, which does not…

    atze committed Feb 4, 2012
    … parse in Explorer
Commits on Feb 3, 2012
  1. fix of missing type synonym expansion of assumed class predicates; cl…

    atze committed Feb 3, 2012
    …eaning up CHR solving code, more documentation
Commits on Jan 31, 2012
Commits on Jan 27, 2012
  1. - rename of jscript target to js, all ffi calls should change sourcet…

    atze committed Jan 27, 2012
    …ext. Internally in naming convention JScript changed to JavaScript
    
    - version bump to 1.1.3
    - branches/jurrien-xp from now is obsolete, soon to be replaced by javascript specific experimentation branch in branches/js
    
    WARNING: make clean; rerun ./configure
Commits on Jan 24, 2012
  1. - inclusion of some prep work on a Cmm intermediate representation, t…

    atze committed Jan 24, 2012
    …o abstract away from C, facilitate overall Llvm codegen. Enabled via --enable-cmm
    
    - temporary disable of C whole program backend, enabled via --enable-cwholeprog. Code is still included, only target is switched off as being available by default
    - cleanup: llvm specific code hidden behind --enable-llvm configuration
    
    WARNING: rerun ./configure
  2. js (jurrien) branch merged into trunk

    atze committed Jan 24, 2012
Commits on Jan 18, 2012
  1. fix for variant 1 in combi with use of ruler

    atze committed Jan 18, 2012
Commits on Jan 16, 2012
  1. fix for unnecessary (check too strict) panic accessing dictionaries h…

    atze committed Jan 16, 2012
    …olding only 1 superclass, no fields
Commits on Dec 16, 2011
  1. Make Text2Text compile with GHC 7.2

    g_jurrienstutterheim committed Dec 16, 2011