From 6b5d95562bb341b19d2a7407d646096b7ccbdea0 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Thu, 4 Oct 2012 22:24:20 +1000 Subject: Substitute test updated --- Test.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Test.hs b/Test.hs index 835bd89..47bba79 100644 --- a/Test.hs +++ b/Test.hs @@ -121,7 +121,7 @@ substitute8 = TestCase (assertEqual "for (substitute ([],[(x',y'),(y',z')]) (x') substitute9 = TestCase (assertEqual "for (substitute ([(tx',ty'),(ty',ta)],[]) (z' with typevar tx'))" (TVar (Var (stdName "z'") stdType)) - (substitute ([(stdTypeVarName,altTypeVar),(altTypeVarName,stdType)],[]) (stdVarTerm "z'"))) + (substitute ([(stdTypeVarName,altTypeVar),(altTypeVarName,stdType)],[]) (TVar (Var (stdName "z'") altTypeVar)))) main = -- cgit