Permalink
Browse files

Uninternable term

  • Loading branch information...
1 parent 0ecd9d7 commit 5a3f284ebcc64e39091899f0e99920b14c5bb16d @ekmett committed Aug 1, 2011
Showing with 3 additions and 1 deletion.
  1. +3 −1 examples/Term.hs
View
@@ -41,11 +41,13 @@ instance Interned Term where
identity (Lam i _ _ _) = i
identity (Pi i _ _ _) = i
identity (Set i _) = i
+ cache = termCache
+
+instance Uninternable Term where
unintern (App _ f a) = BApp f a
unintern (Lam _ v t e) = BLam v t e
unintern (Pi _ v t e) = BPi v t e
unintern (Set _ n) = BSet n
- cache = termCache
termCache :: Cache Term
termCache = mkCache

0 comments on commit 5a3f284

Please sign in to comment.