90503c5 · rowtype-yoga/purescript-native

git.iko.soy/rowtype-yoga/purescript-native

on golang help sign in

Another test, and a TODO

90503c5Phil Freeman13 years ago

examples/passing/Rank2Types.ps+7

@@ -8,3 +8,10 @@ foreign import runST :: forall a. (forall s. ST s a) -> a

8foreign import exampleST :: forall s. ST s Number

10testST = runST exampleST

11+

12+foreign import push :: forall el. el -> [el] -> [el]

13+

14+replicateM :: forall m a. (forall x. x -> m x) -> (forall x y. m x -> (x -> m y) -> m y) -> Number -> m a -> m [a]

15+replicateM = \ret bind n m -> case n of

16+ 0 -> ret []

17+ n -> bind m (\x -> bind (replicateM ret bind (n - 1) m) (\xs -> ret (push x xs)))

src/Language/PureScript/TypeChecker/Types.hs+1

@@ -210,6 +210,7 @@ replaceAllVarsWithUnknowns :: Type -> Subst Check Type

210replaceAllVarsWithUnknowns (ForAll ident ty) = replaceVarsWithUnknowns [ident] ty >>= replaceAllVarsWithUnknowns

211replaceAllVarsWithUnknowns ty = return ty

212

213+-- TODO: need to be careful inside a forall, since variables might be renamed

213replaceVarsWithUnknowns :: [String] -> Type -> Subst Check Type

214replaceVarsWithUnknowns :: [String] -> Type -> Subst Check Type

214replaceVarsWithUnknowns idents = flip evalStateT M.empty . everywhereM (flip extM f $ mkM g)

215replaceVarsWithUnknowns idents = flip evalStateT M.empty . everywhereM (flip extM f $ mkM g)

215 where

216 where