From 3ed2e3a62156ba347b6c5983d6d6b0c4f444b6e3 Mon Sep 17 00:00:00 2001 From: Tom Smeding Date: Sat, 26 Dec 2020 18:11:15 +0100 Subject: Remove unused TVal --- AST.hs | 6 ------ 1 file changed, 6 deletions(-) diff --git a/AST.hs b/AST.hs index a456b8e..6398830 100644 --- a/AST.hs +++ b/AST.hs @@ -49,12 +49,6 @@ data PVal tenv env where -- partial valuation type Val = PVal '[] -data PTVal f tenv env where -- partial tagged valuation - TVZ :: PTVal f tenv tenv - TVS :: PTVal f tenv env -> f t -> PTVal f tenv (t ': env) - -type TVal f = PTVal f '[] - data NumDict t where NumDict :: Num t => NumDict t -- cgit v1.2.3-70-g09d2