@@ -52,7 +52,7 @@ duplicateValues decls =
52 unzip [ (pat,expr) | D.Definition (Valid.Definition pat expr _) <- decls ]
52 unzip [ (pat,expr) | D.Definition (Valid.Definition pat expr _) <- decls ]
54 (portNames, portExprs) =
54 (portNames, portExprs) =
55− Arrow.second concat $ unzip $
55+ Arrow.second concat $ unzip $
56 flip map [ port | D.Port port <- decls ] $ \port ->
56 flip map [ port | D.Port port <- decls ] $ \port ->
57 case port of
57 case port of
58 D.Out name expr _ -> (name, [expr])
58 D.Out name expr _ -> (name, [expr])
@@ -70,7 +70,7 @@ duplicateValues decls =
72duplicateTypeDeclarations :: [D.ValidDecl] -> [String]
72duplicateTypeDeclarations :: [D.ValidDecl] -> [String]
73−duplicateTypeDeclarations decls =
73+duplicateTypeDeclarations decls =
74 map dupTypeError (dups (typeNames ++ aliasNames))
74 map dupTypeError (dups (typeNames ++ aliasNames))
75 ++ map dupCtorError (dups (ctorNames ++ aliasNames))
75 ++ map dupCtorError (dups (ctorNames ++ aliasNames))
@@ -118,7 +118,7 @@ illFormedTypes decls = map report (Maybe.mapMaybe isIllFormed (aliases ++ adts))
118 declared = Set.fromList tvars
118 declared = Set.fromList tvars
120 isIllFormed (decl, tvars, tipes) =
120 isIllFormed (decl, tvars, tipes) =
121− let unbound = undeclared tvars tipes in
121+ let unbound = undeclared tvars tipes in
122 if Set.null unbound then Nothing
122 if Set.null unbound then Nothing
123 else Just (decl, Set.toList unbound)
123 else Just (decl, Set.toList unbound)