0f8bef9 · rowtype-yoga/purescript-native

.gitignore+1

compare with golang

unifiedsplit

@@ -8,3 +8,4 @@ cabal.sandbox.config

8*.chs.h

9*.lksh*

10.virthualenv

11+.psci_modules/

.psci_modules/node_modules/Main/externs.purs+1−1

@@ -1,4 +1,4 @@

1module Main where

2import Prim ()

3import Prelude ()

4−foreign import it :: forall t1. t1 -> t1

4+foreign import it :: { } -> Prelude.Unit

.psci_modules/node_modules/Main/index.js+1−3

@@ -1,8 +1,6 @@

1"use strict";

2var Prelude = require("Prelude");

3−var it = function (x) {

3+var it = Prelude.Unit.create;

4− return x;

5−};

6module.exports = {

4module.exports = {

7 it: it

5 it: it

8};

6};

psci/Main.hs+5−5

@@ -303,16 +303,16 @@ handleTypeOf value = do

303handleKindOf :: P.Value -> PSCI ()

304handleKindOf value = do

305 st <- PSCI $ lift get

306− let m = createTemporaryModule False st value

306+ let m = createTemporaryModule False st value

307− modName = P.ModuleName [P.ProperName "Main"]

307+ mName = P.ModuleName [P.ProperName "Main"]

308 e <- psciIO . runMake $ P.make modulesDir options (psciLoadedModules st ++ [("Main.purs", m)])

309 case e of

310 Left err -> PSCI $ outputStrLn err

311 Right env' ->

312− case M.lookup (modName, P.Ident "it") (P.names env') of

312+ case M.lookup (mName, P.Ident "it") (P.names env') of

313 Just (ty, _, _) -> do

314− let st = P.CheckState env' 1 1 (Just modName)

314+ let st = P.CheckState env' 0 0 (Just mName)

315− k = L.runStateT (P.unCheck (P.kindOf modName ty)) st

315+ k = L.runStateT (P.unCheck (P.kindOf mName ty)) st

316 case k of

317 Left errStack -> PSCI . outputStrLn . P.prettyPrintErrorStack False $ errStack

318 Right (kind, _) -> PSCI . outputStrLn . P.prettyPrintKind $ kind

src/Language/PureScript/TypeChecker/Kinds.hs+1−1

@@ -61,7 +61,7 @@ instance Unifiable Check Kind where

61 k =?= KUnknown u = u =:= k

62 Star =?= Star = return ()

63 Bang =?= Bang = return ()

64− Row k1 =?= Row k2 = k1 =?= k2

64+ Row k1 =?= Row k2 = k1 =?= ks

65 FunKind k1 k2 =?= FunKind k3 k4 = do

66 k1 =?= k3

67 k2 =?= k4