1. 23 Nov, 2011 2 commits
  2. 18 Nov, 2011 1 commit
  3. 17 Nov, 2011 2 commits
  4. 15 Nov, 2011 2 commits
  5. 14 Nov, 2011 4 commits
  6. 09 Nov, 2011 1 commit
  7. 04 Nov, 2011 1 commit
  8. 31 Oct, 2011 1 commit
  9. 10 Oct, 2011 1 commit
  10. 21 Sep, 2011 1 commit
    • Simon Marlow's avatar
      Add support for all top-level declarations to GHCi · 3db75724
      Simon Marlow authored
        This is work mostly done by Daniel Winograd-Cort during his
        internship at MSR Cambridge, with some further refactoring by me.
      
      This commit adds support to GHCi for most top-level declarations that
      can be used in Haskell source files.  Class, data, newtype, type,
      instance are all supported, as are Type Family-related declarations.
      
      The current set of declarations are shown by :show bindings.  As with
      variable bindings, entities bound by newer declarations shadow earlier
      ones.
      
      Tests are in testsuite/tests/ghci/scripts/ghci039--ghci054.
      Documentation to follow.
      3db75724
  11. 24 Aug, 2011 1 commit
  12. 18 Aug, 2011 2 commits
  13. 19 Apr, 2011 1 commit
    • Simon Peyton Jones's avatar
      This BIG PATCH contains most of the work for the New Coercion Representation · fdf86568
      Simon Peyton Jones authored
      See the paper "Practical aspects of evidence based compilation in System FC"
      
      * Coercion becomes a data type, distinct from Type
      
      * Coercions become value-level things, rather than type-level things,
        (although the value is zero bits wide, like the State token)
        A consequence is that a coerion abstraction increases the arity by 1
        (just like a dictionary abstraction)
      
      * There is a new constructor in CoreExpr, namely Coercion, to inject
        coercions into terms
      fdf86568
  14. 20 Feb, 2011 1 commit
    • chak@cse.unsw.edu.au.'s avatar
      Added a VECTORISE pragma · f2aaae97
      chak@cse.unsw.edu.au. authored
      - Added a pragma {-# VECTORISE var = exp #-} that prevents
        the vectoriser from vectorising the definition of 'var'.
        Instead it uses the binding '$v_var = exp' to vectorise
        'var'.  The vectoriser checks that the Core type of 'exp'
        matches the vectorised Core type of 'var'.  (It would be
        quite complicated to perform that check in the type checker
        as the vectorisation of a type needs the state of the VM
        monad.)
      - Added parts of a related VECTORISE SCALAR pragma
      - Documented -ddump-vect
      - Added -ddump-vt-trace
      - Some clean up
      f2aaae97
  15. 26 Jan, 2011 1 commit
  16. 15 Dec, 2010 1 commit
  17. 09 Sep, 2010 1 commit
  18. 15 Sep, 2010 1 commit
  19. 13 Sep, 2010 2 commits
  20. 09 Sep, 2010 5 commits
  21. 08 Sep, 2010 4 commits
  22. 07 Sep, 2010 1 commit
  23. 31 Aug, 2010 1 commit
  24. 30 Aug, 2010 2 commits