From: Simon Huber <hubsim@gmail.com>
Date: Mon, 13 Apr 2015 09:36:20 +0000 (+0200)
Subject: use smart fst/snd in act
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=4ca5bdb8925af2c1f5c500256a08e21c601eafe3;p=cubicaltt.git

use smart fst/snd in act
---

diff --git a/Eval.hs b/Eval.hs
index 0824ae6..695f39e 100644
--- 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)