From 68f41d71d573b422b04ed3f4a3eb3ab41de09a79 Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Wed, 25 May 2011 20:52:54 -0700 Subject: [PATCH] note to self in HaskWeak --- src/HaskWeak.v | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/HaskWeak.v b/src/HaskWeak.v index 85f5b24..22f0e60 100644 --- a/src/HaskWeak.v +++ b/src/HaskWeak.v @@ -20,6 +20,8 @@ Inductive WeakAltCon := Inductive WeakExpr := | WEVar : WeakExprVar -> WeakExpr | WELit : HaskLiteral -> WeakExpr + +(* TO DO: add a WEWhere and use the source location to detect which one the user used *) | WELet : WeakExprVar -> WeakExpr -> WeakExpr -> WeakExpr | WELetRec : Tree ??(WeakExprVar * WeakExpr) -> WeakExpr -> WeakExpr | WECast : WeakExpr -> WeakCoercion -> WeakExpr -- 1.7.10.4