summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Test.hs2
1 files changed, 1 insertions, 1 deletions
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 =