1. 26 Mar, 2008 8 commits
  2. 25 Mar, 2008 10 commits
  3. 24 Mar, 2008 4 commits
  4. 23 Mar, 2008 1 commit
  5. 20 Mar, 2008 1 commit
  6. 22 Mar, 2008 1 commit
  7. 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.
  8. 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.
  9. 17 Mar, 2008 4 commits
  10. 16 Mar, 2008 1 commit
  11. 17 Mar, 2008 2 commits
  12. 11 Mar, 2008 1 commit
  13. 16 Mar, 2008 1 commit
  14. 15 Mar, 2008 1 commit
  15. 16 Mar, 2008 1 commit