purescript 0.4.19 → 0.4.19.1

raw patch · 2 files changed

+5/−4 lines, 2 filesPVP ok

version bump matches the API change (PVP)

API changes (from Hackage documentation)

Files

• purescript.cabal +1/−1
• src/Language/PureScript/TypeChecker/Types.hs +4/−3

@@ -1,5 +1,5 @@ name: purescript-version: 0.4.19+version: 0.4.19.1 cabal-version: >=1.8 build-type: Custom license: MIT

@@ -680,7 +680,7 @@   Just moduleName <- checkCurrentModule <$> get   kind <- liftCheck $ kindOf moduleName ty   guardWith (strMsg $ "Expected type of kind *, was " ++ prettyPrintKind kind) $ kind == Star-  ty' <- introduceSkolemScope <=< replaceAllTypeSynonyms $  ty+  ty' <- introduceSkolemScope <=< replaceAllTypeSynonyms $ ty   val' <- if checkType then check val ty' else return val   return $ TypedValue True val' ty' infer' (PositionedValue pos val) = rethrowWithPosition pos $ infer' val@@ -693,8 +693,9 @@   kind <- liftCheck $ kindOf moduleName ty   guardWith (strMsg $ "Expected type of kind *, was " ++ prettyPrintKind kind) $ kind == Star   let dict = if isFunction val then M.singleton (moduleName, ident) (ty, nameKind) else M.empty-  TypedValue _ val' ty' <- if checkType then bindNames dict (check val ty) else return tv-  bindNames (M.singleton (moduleName, ident) (ty', nameKind)) $ inferLetBinding (seen ++ [ValueDeclaration ident nameKind [] Nothing (TypedValue checkType val' ty')]) rest ret j+  ty' <- introduceSkolemScope <=< replaceAllTypeSynonyms $ ty+  TypedValue _ val' ty'' <- if checkType then bindNames dict (check val ty') else return tv+  bindNames (M.singleton (moduleName, ident) (ty'', nameKind)) $ inferLetBinding (seen ++ [ValueDeclaration ident nameKind [] Nothing (TypedValue checkType val' ty'')]) rest ret j inferLetBinding seen (ValueDeclaration ident nameKind [] Nothing val : rest) ret j = do   valTy <- fresh   Just moduleName <- checkCurrentModule <$> get