6e46a60 · rowtype-yoga/purescript-native

purescript.cabal+1−1

@@ -1,5 +1,5 @@

1name: purescript

2−version: 0.3.9

2+version: 0.3.9.1

3cabal-version: >=1.8

4build-type: Simple

5license: MIT

src/Language/PureScript/Names.hs+1−1

@@ -52,7 +52,7 @@ instance Show ProperName where

52-- |

53-- Module names

54--

55−data ModuleName = ModuleName ProperName deriving (Eq, Ord, Data, Typeable)

55+data ModuleName = ModuleName { runModuleName :: ProperName } deriving (Eq, Ord, Data, Typeable)

56

57instance Show ModuleName where

58 show (ModuleName name) = show name

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

@@ -43,13 +43,14 @@ addDataType moduleName name args dctors ctorKind = do

43 env <- getEnv

44 putEnv $ env { types = M.insert (moduleName, name) (ctorKind, Data) (types env) }

45 forM_ dctors $ \(dctor, maybeTy) ->

46− rethrow (("Error in data constructor " ++ show name ++ ":\n") ++) $

46+ rethrow (("Error in data constructor " ++ show dctor ++ ":\n") ++) $

47 addDataConstructor moduleName name args dctor maybeTy

48

49addDataConstructor :: ModuleName -> ProperName -> [String] -> ProperName -> Maybe Type -> Check ()

50addDataConstructor moduleName name args dctor maybeTy = do

51 env <- getEnv

52 dataConstructorIsNotDefined moduleName dctor

53+ when (runModuleName moduleName == dctor) $ throwError "A data constructor may not have the same name as its enclosing module."

53 let retTy = foldl TypeApp (TypeConstructor (Qualified (Just moduleName) name)) (map TypeVar args)

54 let retTy = foldl TypeApp (TypeConstructor (Qualified (Just moduleName) name)) (map TypeVar args)

54 let dctorTy = maybe retTy (flip function retTy) maybeTy

55 let dctorTy = maybe retTy (flip function retTy) maybeTy

55 let polyType = mkForAll args dctorTy

56 let polyType = mkForAll args dctorTy