Home
• Education Page
• Topics
• Schedule
• Projects

• Interesting Links

Center
Master Program
Ehc Particularities

This is (roughly) what I had to do.

Before you can compile, make sure you have the latest versions of uulib and uuagc
   * =svn co https://svn.cs.uu.nl:12443/repos/uust-repo/uulib/trunk/ uulib=
   * =svn co https://svn.cs.uu.nl:12443/repos/uust-repo/uuagc/trunk/ uuagc=
   * First build uulib (see the instructions in README, then uuagc).
   * If uuagc complains you don't have the Control.Monad.Writer.Strict installed, do the following
      * <verbatim>darcs get http://darcs.haskell.org/packages/mtl/</verbatim>
      * =runhaskell Setup.hs configure=
      * =runhaskell Setup.hs build=
      * =runhaskell Setup.hs install=
      * You probably need to do the 3rd step as =root=
      * Do a "ghc-pkg list mtl", it will probably tell you that you've got both mtl-1.0 and 1.0.1 installed, remove mtl-1.0.  (You might need 1.0 for building EHC though.)
      * Delete your uuagc directory and re-unpack it, it looks like some state is being saved and uuagc still thinks mtl-1.0 is installed.
      * Try compiling uuagc again.

To compile EHC, make sure you get the version from Subversion:
=svn co https://svn.cs.uu.nl:12443/repos/EHC/trunk/EHC/ ehc=

These are some errors I found when compiling EHC:
   * EHC couldn't find the "gmp.h", so I had to manually install GMP from http://gmplib.org/
   * When trying to compile EH99, I had to apply the following patch: 
<verbatim>
     Index: src/ehc/EH/Infer.cag 

===================================================================
--- src/ehc/EH/Infer.cag        (revision 864)
+++ src/ehc/EH/Infer.cag        (working copy)
@@ -302,7 +302,9 @@
                                                             { feEHCOpts = @lhs.opts
                                                             , fePredScope = @predScope
                                                             , feTyGam = @expr.gathTyGam
+%%[[99
                                                             , feRange = emptyRange
+%%]]
                                                             }
</verbatim>

-- Main.ChrisEidhof - 13 Sep 2007