shithub: MicroHs

Download patch

ref: 5c690b0df0a94f28c32aae6347e398ab2b2ee38b
parent: db48432f3e0de3f17fbd65ac3798fbe9d01d035b
author: Lennart Augustsson <lennart.augustsson@epicgames.com>
date: Mon Aug 21 06:48:10 EDT 2023

Update docs

--- a/README.md
+++ b/README.md
@@ -59,7 +59,7 @@
 
 ## Libraries
 There are a number of libraries that some of the standard Haskell functions.
-But in general, the `Prelude` contains less.
+But in general, the `Prelude` contains much less.
 
 ## Compiler
 The compiler is written in Micro Haskell.
@@ -71,6 +71,14 @@
 * `-r` run directly, does work if compiled with GHC
 * `-v` be more verbose, flag can be repeated
 
+With the `-v` flag the processing time for each module is reported.
+E.g.
+  ```
+  importing done MicroHs.Exp, 716ms (368 + 348)
+  ```
+which means tha processing `MicroHs.Exp.hs` took 716ms,
+with parsing taking 368ms and typecheck&desugar taking 348ms.
+
 ### Compiler modules
 
 * `Main`, the main module.  Decodes flags, compiles, and writes result.
@@ -78,7 +86,6 @@
 * `Exp`, simple expression type, combinator abstraction and optimization
 * `Desugar`, desugar full expressions to simple expressions.
 * `Parse`, parse and build and abstract syntax tree.
-* `ParserComb`, simple parser combinator library.
 * `Translate`, convert an expression tree to its value.
 * `TypeCheck`, type checker
 
@@ -90,10 +97,10 @@
 It is written in a reasonably portable C code.
 
 ### Runtime flags
-* `-HSIZE` set heap size to `SIZE` cells, can be suffixed by `k`, `M`, or `G`
-* `-KSIZE` set stack size to `SIZE` entries, can be suffixed by `k`, `M`, or `G`
-* `-rFILE` read combinators from `FILE`
-* `-v` be more verbose, flag can be repeated.
+* `-HSIZE` set heap size to `SIZE` cells, can be suffixed by `k`, `M`, or `G`, default is `100k`
+* `-KSIZE` set stack size to `SIZE` entries, can be suffixed by `k`, `M`, or `G`, default is`10k`
+* `-rFILE` read combinators from `FILE`, instead of `out.comb`
+* `-v` be more verbose, flag can be repeated
 * `--` end of flags, the rest of the arguments are available to the running program
 
 ### Features
--