shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Some things are done

--- a/TODO

+++ b/TODO

@@ -26,7 +26,6 @@

 * Generate (compressed) combinators in a separate file for compilation

   - Distribute this file instead of .comb file

 * Use more compact(?) combinator file ('@f a ' instead of '(f a)')

-* Generate C file directly from compiler

 * Implement IORef

   - The IORef will need GC support

 * Redo type synonym expansion

@@ -42,11 +41,10 @@

 * Split eval.c

 * Implement defaulting

 * Removing [] from prim table

-* Implement withCString

 * Parser cannot handle

     x :+ y == x' :+ y'

     probably needs total merge of pattern&expression with validation in type checker

-* Parse pre4fix negation

+* Parse prefix negation

 Bugs

-- 

⑨