From 8cadc4d92c3312b8ff91ca0d61a4474857ba4fd8 Mon Sep 17 00:00:00 2001 From: Evan Czaplicki Date: Sun, 12 Jan 2014 13:06:50 +0100 Subject: [PATCH] Remove comment for things that no longer exist --- compiler/SourceSyntax/Expression.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/compiler/SourceSyntax/Expression.hs b/compiler/SourceSyntax/Expression.hs index aa9f2d7..0c287b1 100644 --- a/compiler/SourceSyntax/Expression.hs +++ b/compiler/SourceSyntax/Expression.hs @@ -20,13 +20,6 @@ The type holes let us reflect these structural changes in the types. def: Parsing allows two kinds of definitions (type annotations or definitions), but later checks will see that they are well formed and combine them. - t: for adding type information, currently unused - - v: for enriching variables with information like provenonce, currently unused - -Please don't get on my case to take the unused ones out. I have considered it. -It's a huge pain to add and remove, it will get used eventually, and it's not -hurting anything as it is. -} data Expr' def = Literal Literal.Literal