From 317148f9fb9d39c408f48d9b4f14c20ef9697ee4 Mon Sep 17 00:00:00 2001 From: Gabor Greif <ggreif@gmail.com> Date: Fri, 10 Jan 2014 19:30:27 +0100 Subject: [PATCH] Typo in comment --- real/PolyGP/Unify.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/real/PolyGP/Unify.hs b/real/PolyGP/Unify.hs index 74610491..3fbe4a34 100644 --- a/real/PolyGP/Unify.hs +++ b/real/PolyGP/Unify.hs @@ -145,7 +145,7 @@ member var typeExp = case typeExp of -- unify function ---------------------------------------------------------------------------------- -- -- This function takes a list of Type Expression Pairs, a Theta (binding of temporary type variables --- or binding of dummy type varialbes). It unifies each pair in the list and returns a new Theta. +-- or binding of dummy type variables). It unifies each pair in the list and returns a new Theta. -- This function is used in two separate occasions: to bind dummy type variables in a polymorphic -- function and to bind temporary type variables in the parse tree. The two occassions are handled -- separately. Hence 2. & 4. can't never be used at the same time. -- GitLab