@@ -231,12 +231,12 @@ wireError
231231 -> [P.Doc]
232232wireError name direction rootType localType problemMessage =
233233 [ P.text (dir "Input" "Output" ++ " Error:")
234− , P.nest 2 $
234+ , P.nest 4 $
235235 P.vcat
236− [ txt [ "The ", wire, " named '", name, "' was has an invalid type.\n" ]
237− , P.nest 2 (PP.pretty rootType) <> P.text "\n"
236+ [ txt [ "The ", wire, " named '", name, "' has an invalid type.\n" ]
237+ , P.nest 4 (PP.pretty rootType) <> P.text "\n"
238238 , txt [ problemMessage, ":\n" ]
239− , P.nest 2 (PP.pretty localType) <> P.text "\n"
239+ , P.nest 4 (PP.pretty localType) <> P.text "\n"
240240 , txt [ "Acceptable values for ", wire, "s include:" ]
241241 , txt [ " Ints, Floats, Bools, Strings, Maybes, Lists, Arrays, Tuples, unit values," ]
242242 , txt [ " Json.Values, ", dir "" "first-order functions, promises, ", "and concrete records." ]
@@ -274,7 +274,14 @@ checkLoobacksHelp name rootType tipe hasExpr =
274274 return ()
275275
276276 _ ->
277− throw [ P.text "no good loopback" ]
277+ throw $
278+ [ P.text "Loopback Error:"
279+ , P.nest 4 $
280+ P.vcat
281+ [ P.text ("The loopback named '" ++ name ++ "' has an invalid type.\n")
282+ , P.nest 4 (PP.pretty rootType) <> P.text "\n"
283+ ]
284+ ]
278285
279286
280287-- INFINITE TYPES