From c14c7b82c82806bf9c8333e50c6648c3a58cd951 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Mon, 5 May 2008 00:46:03 +0000 Subject: [PATCH 1/1] External Core tools: add note to README about where to find documentation --- utils/ext-core/README | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/utils/ext-core/README b/utils/ext-core/README index bb5f3aa..84f213d 100644 --- a/utils/ext-core/README +++ b/utils/ext-core/README @@ -4,6 +4,12 @@ In particular, typechecker and interpreter give a precise semantics. --------------------- tjc April/May 2008: +==== Documentation ==== + +Documentation for the External Core format lives under docs/ext-core in the +GHC tree. If you are building from HEAD, do not rely on the version of the +External Core documentation that lives in haskell.org -- it is obsolete! + ==== Notes ==== The checker should work on most programs. Bugs (and infelicities) -- 1.7.10.4