Skip to content
Commits on Oct 14, 2011
  1. @norm2782

    Create branch alessandro-xp

    norm2782 committed Oct 14, 2011
Commits on Oct 12, 2011
  1. @norm2782
  2. @norm2782

    Remove mention of NArg

    norm2782 committed Oct 12, 2011
  3. @norm2782

    Formatting

    norm2782 committed Oct 12, 2011
  4. @norm2782
  5. @norm2782

    gitignore

    norm2782 committed Oct 12, 2011
  6. @norm2782

    Fix type error in FFI parser

    norm2782 committed Oct 12, 2011
  7. @norm2782

    NArgs pretty printing

    norm2782 committed Oct 12, 2011
  8. @norm2782

    s/AllArg/NArg

    norm2782 committed Oct 12, 2011
  9. @norm2782
  10. @norm2782

    Add more stuff to gitignore

    norm2782 committed Oct 12, 2011
  11. @norm2782

    Reformatting

    norm2782 committed Oct 12, 2011
  12. @norm2782

    Start implementing n-arg parser

    norm2782 committed Oct 12, 2011
  13. @norm2782
  14. @norm2782

    Tabs -> Spaces

    norm2782 committed Oct 12, 2011
  15. @norm2782

    Tabs -> spaces

    norm2782 committed Oct 12, 2011
Commits on Sep 14, 2011
  1. @norm2782

    Create branch jurrien-xp

    norm2782 committed Sep 14, 2011
  2. @atzedijkstra
  3. @atzedijkstra
Commits on Sep 13, 2011
  1. @atzedijkstra

    Removal of external libraries from repo (Boehm GC, GMP) and still lin…

    …gering dependencies (Boehm GC).
    
    Warning: make clean && ./configure
    atzedijkstra committed Sep 13, 2011
Commits on Sep 6, 2011
  1. @atzedijkstra

    Work on frontend stuff for fusion, in variant 93:

    - Propagation of the necessary info uptil Core, where the info is made available in map, separate from the AST.
    
    Example, in which 'fuse f' is intended to switch on fusion for the
    function 'f', 'convert g,h' signals a build/unbuild pair (this is likely
    to change depending on how implementation further proceeds):
    
    {-# LANGUAGE Fusion #-}
    {-# LANGUAGE NoGenericDeriving #-}
    
    module Fuse1 where
    
    f x = x
    fuse f
    
    data X a = X a
    data Y a = Y a
    
    h :: X a -> Y a
    h (X a) = Y a
    
    g :: Y a -> X a
    g (Y a) = X a
    
    convert g, h
    
    main = return ()
    atzedijkstra committed Sep 6, 2011
Commits on Aug 31, 2011
  1. @atzedijkstra

    Work on frontend stuff for fusion, for now, as variant 93:

    - Pragma 'LANGUAGE Fusion' for turning on the syntax
    - fuse notation, but this is likely to change anyway, so doc is omitted here
    
    WARNING: make clean, ./configure etc
    atzedijkstra committed Aug 31, 2011
Commits on Aug 25, 2011
  1. @jbransen
  2. @amiddelk

    Made UHC compileable with GHC 7.2. That was a time consuming process

    but somebody had to do it...
    
    Various source files were importing
    hierarchical modules (System.IO, Data.Maybe, Data.Char, etc.) and
    depricated non-hierarchical modules (IO, Maybe, Char, etc.) inconsistently.
    I've replaced each the non-hierarchical import with a sequence of
    hierarchical imports.
    
    As a consequence, the dependency on the haskell98 package is not
    needed anymore. Rerun autoconf, configure and make clean to ensure
    that the generated cabal files do not include this dependency
    anymore. This will force you to use the hierarchical modules.
    Also, the sources can now be build with GHC 7.2 for which at the
    moment the haskell98 package is unavailable.
    amiddelk committed Aug 25, 2011
Commits on Aug 11, 2011
  1. @amiddelk

    Commented out some types of local attributes that

    are no longer correct.
    
    Atze does not notice that some of the type sigantures
    have become incorrect with respect to code changes
    because signatures for
    local attributes are not a requirement anymore
    (for a while now) and the code generation with case
    statements doesn't (always) put the type signatures in
    the source code since this would require the use of
    the pattern signatures extension.
    amiddelk committed Aug 11, 2011
Commits on Jul 21, 2011
  1. @jbransen

    Fix type error ruler2

    Avoid generating infinite trees in substitutions
    jbransen committed Jul 21, 2011
  2. @jbransen

    Change Haskell module headers to AG module headers

    Let shuffle generate AG module headers by default
    jbransen committed Jul 21, 2011
Commits on Jul 15, 2011
  1. @atzedijkstra

    Work on inclusion of types in Core. Toplevel types are generated, nested

    inside lambda-expressions not. Types still also contain predicates
    instead of their corresponding witness type.
    atzedijkstra committed Jul 15, 2011
Commits on Jul 12, 2011
  1. @atzedijkstra

    Work on inclusion of types in Core. The design is now such that top

    level types are propagated into Core, and at some stage erased &
    extracted. This info is then made available globally via .hi files and
    can be queried. This allows Core types to reflect better the generated
    code, e.g. type synonyms are erased, or when additional transformations
    on Core might be required. Initial transformations must be careful with
    maintaining consistency between types and code, later transformations
    can ignore types and thus introduce inconsistencies.
    
    This commit provides a first implementation in progress, for plain
    simple definitions, and only tested as such.
    
    TODO: proper generation of types for classes, instances, datatype field
    extraction, generics, etc etc
    atzedijkstra committed Jul 12, 2011
Commits on May 10, 2011
  1. @atzedijkstra

    - Reorganization of variant numbering. Most notable change is the mod…

    …ule system now introduced at variant 50, previously 20.
    
    - Work on improving error messages for class predicate related errors, in particular providing more traceback info (unfinished).
    - Builds with current Haskell platform (in particular ghc 7.0.3)
    
    WARNING: make clean, re- ./configure
    atzedijkstra committed May 10, 2011
Commits on Apr 21, 2011
  1. @atzedijkstra

    quick fix for ghc7

    atzedijkstra committed Apr 21, 2011
Commits on Apr 1, 2011
  1. @atzedijkstra

    - Reorganization of variant numbering. Most notable change is the mod…

    …ule system now introduced at variant 50, previously 20.
    atzedijkstra committed Apr 1, 2011
Commits on Mar 18, 2011
  1. @atzedijkstra

    temporary fix for debugging variant 99 which requires more type abstr…

    …action for type derivation tree generation, which would require more global changes but is currently not used
    atzedijkstra committed Mar 18, 2011
  2. @atzedijkstra

    - Work on abstraction over substitution mechanism (continuation of a …

    …previous code cleanup, partially done).
    atzedijkstra committed Mar 18, 2011
Commits on Mar 10, 2011
  1. @atzedijkstra
Something went wrong with that request. Please try again.