Fix purescript#795

paf31 · paf31 · commit c8a14bd5e70a · 2015-02-07T18:32:54.000-08:00
diff --git a/examples/passing/RowSynonyms.purs b/examples/passing/RowSynonyms.purs
@@ -0,0 +1,46 @@
+module Main where
+
+import Control.Monad.Eff
+import Control.Monad.ST
+
+type State bindings =
+  {
+    bindings :: {addition :: Number | bindings},
+    other :: String
+  }
+
+type MyBindings = (test :: Number)
+
+data Shadow bindings = Shadow String
+
+shadows :: Shadow (Object MyBindings)
+shadows = Shadow "uhh"
+
+main :: Eff () Unit
+main = withIt
+          shadows
+            \ bindings -> do
+                let state =
+                  {
+                      bindings : bindings,
+                      other : "Test"
+                  }
+                runST do
+                  stRef <- newSTRef state
+                  handleKeyD stRef
+                  return unit
+
+
+withIt :: forall bindings eff a. Shadow (Object bindings) ->
+                ({addition :: Number | bindings} -> Eff eff a) -> Eff eff a
+withIt (Shadow str) success = do
+  b <- withBindings
+  success (b{addition = 1})
+
+foreign import withBindings
+"""
+        function withBindings() {}
+""" :: forall eff bindings. Eff eff bindings
+
+handleKeyD :: forall h eff. STRef h (State MyBindings) -> Eff (st :: ST h | eff) Unit
+handleKeyD state = return unit
diff --git a/src/Language/PureScript/TypeChecker/Unify.hs b/src/Language/PureScript/TypeChecker/Unify.hs
@@ -130,6 +130,10 @@ unifyRows r1 r2 =
     rest <- fresh
     u1 =:= rowFromList (sd2, rest)
     u2 =:= rowFromList (sd1, rest)
+  unifyRows' sd1 (SaturatedTypeSynonym name args) sd2 r2' = do
+    r1' <- expandTypeSynonym name $ args
+    unifyRows (rowFromList (sd1, r1')) (rowFromList (sd2, r2'))
+  unifyRows' sd1 r1' sd2 r2'@(SaturatedTypeSynonym _ _) = unifyRows' sd2 r2' sd1 r1'
   unifyRows' [] REmpty [] REmpty = return ()
   unifyRows' [] (TypeVar v1) [] (TypeVar v2) | v1 == v2 = return ()
   unifyRows' [] (Skolem _ s1 _) [] (Skolem _ s2 _) | s1 == s2 = return ()
