shithub: MicroHs

Download patch

ref: c529cdad18e47ad4c960917d749fa5153accc16a
parent: 4abfb3cc6a361b5cd547329afe8831409d9e0f67
author: Lennart Augustsson <lennart@augustsson.net>
date: Wed Nov 8 10:05:24 EST 2023

More to do

--- a/TODO
+++ b/TODO
@@ -44,6 +44,10 @@
 * 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
+
 
 Bugs
  * :reload doesn't show error message
--