1. 25 Mar, 2008 9 commits
  2. 24 Mar, 2008 4 commits
  3. 23 Mar, 2008 1 commit
  4. 20 Mar, 2008 1 commit
  5. 22 Mar, 2008 1 commit
  6. 20 Mar, 2008 2 commits
    • Ian Lynagh's avatar
    • chevalier@alum.wellesley.edu's avatar
      Handle hierarchical module names in External Core tools · 6b085eea
      chevalier@alum.wellesley.edu authored
      I updated the parser to handle hierarchical module names (with package names)
      the way GHC is currently printing them out in External Core.
      Beware kludgy use of z-encoding and gratutious copy-pasta from GHC.
      You can now use the stand-alone Core parser to parse a very simple
      GHC-generated .hcr file (progress!) but not to typecheck or interpret it
      (the typechecker/interpreter don't snarf in the right libraries yet, among
      other things.) And, the parser is still incomplete in that it doesn't handle
      programs with newtypes/GADTs/etc. whose syntax has changed since 2003. In
      other words: probably don't try to use this yet.
  7. 19 Mar, 2008 2 commits
    • chevalier@alum.wellesley.edu's avatar
      Improve hierarchical module name handling in MkExternalCore · 87c93cf5
      chevalier@alum.wellesley.edu authored
      It's easier for the External Core parser if MkExternalCore prints
      module names like:
      rather than like:
      (which it was doing before.)
      So now we z-encode the hierarchical module-name part of a module
      name, but don't z-encode the ':'.
      I also removed some old comments that don't seem relevant anymore.
    • chevalier@alum.wellesley.edu's avatar
      Fixed remaining warning in coreSyn/MkExternalCore · d5a9ee0e
      chevalier@alum.wellesley.edu authored
      There was a (suppressed) warning about an incomplete pattern match in make_alt. This was because the DEFAULT alt never has variable bindings. I thought it would be better to check that case and panic if it happens than to have an incomplete pattern. It's still not great, but at least now we don't have to suppress any warnings in this file.
  8. 17 Mar, 2008 4 commits
  9. 16 Mar, 2008 1 commit
  10. 17 Mar, 2008 2 commits
  11. 11 Mar, 2008 1 commit
  12. 16 Mar, 2008 1 commit
  13. 15 Mar, 2008 1 commit
  14. 16 Mar, 2008 2 commits
  15. 15 Mar, 2008 2 commits
  16. 13 Mar, 2008 1 commit
  17. 07 Feb, 2008 1 commit
    • Simon Marlow's avatar
      Tweaks to stack squeezing · 53a442f1
      Simon Marlow authored
      1. We weren't squeezing two frames if one of them was a marked update
         frame.  This is easy to fix.
      2. The heuristic to decide whether to squeeze was a little
         conservative.  It's worth copying 3 words to save an update frame.
  18. 13 Mar, 2008 3 commits
    • chak@cse.unsw.edu.au.'s avatar
      Some cleanup in TcSimplify.reduceContext · b5a8dd88
      chak@cse.unsw.edu.au. authored
      - Makes this horrid function a bit better - and shorter!
      - Also gets rid of another API function of TcTyFuns
    • chak@cse.unsw.edu.au.'s avatar
      Properly normalise reduced dicts · 3bbdfc75
      chak@cse.unsw.edu.au. authored
      - Another chapter in the never-ending TcSimplify.reduceContext saga: after
        context reduction of wanted dicts it is not sufficient to normalise them
        wrt to the wanted equalities.  We also need to take top-level equalities
        into account.  (In fact, we probably also have to normalise wrt to given
        equalities, but I have left that open for the moment - but added a TODO
      - This finally eliminates substEqInDictInsts from TcTyFuns interface and
        suggest some further possible clean up (which will be in a separate patch).
      Thanks to Roman for the intricate example that uncovered this bug.
    • rl@cse.unsw.edu.au's avatar
      Bump mAX_NDP_PROD to 5 · 11a4f9a9
      rl@cse.unsw.edu.au authored
  19. 12 Mar, 2008 1 commit