6d6c011 · rowtype-yoga/purescript-native

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

Fix warning

commit6d6c0118d3695850c01f2d63d5011a40a6818919 authorGary Burgess <gary.burgess@gmail.com> dateSun 27 Jul 2014, 20:23 (12 years ago) parentdfb4475

1 file changed+1−1

unifiedsplit

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

@@ -120,7 +120,7 @@ typeCheckAll mainModuleName moduleName (d@(DataDeclaration dtype name args dctor

120120 return $ d : ds

121121 where

122122 checkNewtype :: [(ProperName, [Type])] -> Check ()

123− checkNewtype [(_, [ty])] = return ()

123+ checkNewtype [(_, [_])] = return ()

124124 checkNewtype [(_, _)] = throwError . strMsg $ "newtypes constructors must have a single argument"

125125 checkNewtype _ = throwError . strMsg $ "newtypes must have a single constructor"

126126typeCheckAll mainModuleName moduleName (d@(DataBindingGroupDeclaration tys) : rest) = do