Handle hierarchical module names in External Core tools
authorTim Chevalier <chevalier@alum.wellesley.edu>
Thu, 20 Mar 2008 01:44:49 +0000 (01:44 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Thu, 20 Mar 2008 01:44:49 +0000 (01:44 +0000)
commit6b085eeada6c3c93599fa4b6d77572abc419c08c
tree7026e11cc4941fb6e9680360ed970a74a5dc059e
parent87c93cf56c83abf0148c91d5972dbe65dc72c38a
Handle hierarchical module names in External Core tools

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.
utils/ext-core/Check.hs
utils/ext-core/Driver.hs
utils/ext-core/Encoding.hs [new file with mode: 0644]
utils/ext-core/Interp.hs
utils/ext-core/Lex.hs
utils/ext-core/ParseGlue.hs
utils/ext-core/Parser.y
utils/ext-core/Prep.hs
utils/ext-core/Printer.hs