X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=utils%2Fext-core%2FREADME;fp=utils%2Fext-core%2FREADME;h=6091935d4a02a10165321a6a56dfdb9429b8fa33;hp=4fb16ffcf2dfb1260a6faa76515a853fbcec9a8a;hb=c287bea94592fffe63f85831ab651c28d64e4d6e;hpb=652a316b23383ea5983b85c7b2ecf8de358f3bd0

diff --git a/utils/ext-core/README b/utils/ext-core/README
index 4fb16ff..6091935 100644
--- a/utils/ext-core/README
+++ b/utils/ext-core/README
@@ -1,10 +1,8 @@
 A set of example programs for handling external core format.
 
 In particular, typechecker and interpreter give a precise semantics.
-
-To build, run "make".
 ---------------------
-tjc April 2008:
+tjc April/May 2008:
 
 ==== Notes ====
 
@@ -21,14 +19,18 @@ The checker should work on most programs. Bugs I'm aware of:
 3. When typechecking the ghc-prim:GHC.PrimopWrappers library module,
    some declarations seem to have the wrong type signature (due to 
    confusion between (forall (t::*) ...) and (forall (t::?) ...).)
-   This may be a GHC bug.
+   This is because the ? kind is not expressible in Haskell.
 
 Typechecking all the GHC libraries eats about a gig of heap and takes a
 long time. I blame Parsec. (Someone who was bored, or understood happy
 better than I do, could update the old happy parser, which is still in the
 repo.)
 
-The interpreter is not working yet.
+The interpreter is also memory-hungry, but works for small programs
+that only do simple I/O (e.g., putStrLn is okay; not much more than that)
+and don't use Doubles or arrays. For example: exp3_8, gen_regexps, queens,
+primes, rfib, tak, wheel-sieve1, and wheel-sieve2, if modified so as not
+to take input or arguments.
 
 ==== Building ====