@@ -20,13 +20,6 @@ The type holes let us reflect these structural changes in the types.
2020 def: Parsing allows two kinds of definitions (type annotations or definitions),
2121 but later checks will see that they are well formed and combine them.
2222
23− t: for adding type information, currently unused
24−
25− v: for enriching variables with information like provenonce, currently unused
26−
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.
3023-}
3124data Expr' def
3225 = Literal Literal.Literal