git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix warning
6d6c011Gary Burgess
src/Language/PureScript/TypeChecker.hs+1−1
compare with golang
unifiedsplit
@@ -120,7 +120,7 @@ typeCheckAll mainModuleName moduleName (d@(DataDeclaration dtype name args dctor
120 return $ d : ds
120 return $ d : ds
121 where
121 where
122 checkNewtype :: [(ProperName, [Type])] -> Check ()
122 checkNewtype :: [(ProperName, [Type])] -> Check ()
123− checkNewtype [(_, [ty])] = return ()
123+ checkNewtype [(_, [_])] = return ()
124 checkNewtype [(_, _)] = throwError . strMsg $ "newtypes constructors must have a single argument"
124 checkNewtype [(_, _)] = throwError . strMsg $ "newtypes constructors must have a single argument"
125 checkNewtype _ = throwError . strMsg $ "newtypes must have a single constructor"
125 checkNewtype _ = throwError . strMsg $ "newtypes must have a single constructor"
126typeCheckAll mainModuleName moduleName (d@(DataBindingGroupDeclaration tys) : rest) = do
126typeCheckAll mainModuleName moduleName (d@(DataBindingGroupDeclaration tys) : rest) = do