use smart fst/snd in act

diff --git a/Eval.hs b/Eval.hs
index 0824ae6c656e8c4ac7c53ff088630ce0765e5298..695f39e15c9de22ecf40369341215d662c286114 100644 (file)
--- a/Eval.hs
+++ b/Eval.hs
@@ -85,8 +85,8 @@ instance Nominal Val where
          VTrans u v -> transLine (acti u) (acti v)
          VSigma a f -> VSigma (acti a) (acti f)
          VPair u v  -> VPair (acti u) (acti v)
-         VFst u     -> VFst (acti u)
-         VSnd u     -> VSnd (acti u)
+         VFst u     -> fstVal (acti u)
+         VSnd u     -> sndVal (acti u)
          VCon c vs  -> VCon c (acti vs)
          VPCon c a vs phi -> pcon c (acti a) (acti vs) (acti phi)
          VVar x v   -> VVar x (acti v)