fix typo
commite23ac8597641a0863773455c025439ddf6e18b7b
authorBenjamin Kovach] <bkovach5@uga.edu>
dateSat 2 Aug 2014, 17:35 (12 years ago)
parent7bf4315
src/Language/PureScript/TypeChecker/Kinds.hs+1−1
@@ -61,7 +61,7 @@ instance Unifiable Check Kind where
6161 k =?= KUnknown u = u =:= k
6262 Star =?= Star = return ()
6363 Bang =?= Bang = return ()
64− Row k1 =?= Row k2 = k1 =?= ks
64+ Row k1 =?= Row k2 = k1 =?= k2
6565 FunKind k1 k2 =?= FunKind k3 k4 = do
6666 k1 =?= k3
6767 k2 =?= k4