@@ -20,13 +20,6 @@ The type holes let us reflect these structural changes in the types.
20 def: Parsing allows two kinds of definitions (type annotations or definitions),
20 def: Parsing allows two kinds of definitions (type annotations or definitions),
21 but later checks will see that they are well formed and combine them.
21 but later checks will see that they are well formed and combine them.
23− t: for adding type information, currently unused
25− v: for enriching variables with information like provenonce, currently unused
27−Please don't get on my case to take the unused ones out. I have considered it.
28−It's a huge pain to add and remove, it will get used eventually, and it's not
29−hurting anything as it is.
31data Expr' def
24data Expr' def
32 = Literal Literal.Literal
25 = Literal Literal.Literal