@@ -32,7 +32,7 @@ checkHelp
3232 -> Env.Canonicalizer [P.Doc] (T.PortType Var.Canonical)
3333checkHelp name rootType tipe =
3434 case tipe of
35− T.Aliased alias _ arg
35+ T.Aliased alias [(_,arg)] _
3636 | Var.is ["Port"] "Port" alias ->
3737 return (T.Internal arg)
3838
@@ -44,8 +44,8 @@ checkHelp name rootType tipe =
4444 do validForeignType name Out arg arg
4545 return (T.Outbound arg)
4646
47− | otherwise ->
48− checkHelp name rootType arg
47+ T.Aliased _ args t ->
48+ checkHelp name rootType (T.dealias args t)
4949
5050 _ ->
5151 throw $
@@ -53,8 +53,8 @@ checkHelp name rootType tipe =
5353 , P.nest 4 $
5454 P.vcat $
5555 [ P.text ("The port named '" ++ name ++ "' has an invalid type.\n")
56− , P.nest 4 (PP.pretty tipe) <> P.text "\n"
57− , P.text "It must be a Port, InboundPort, or OutboundPort."
56+ , P.nest 4 (PP.pretty rootType) <> P.text "\n"
57+ , P.text "It must be a Port.Port, Port.InboundPort, or Port.OutboundPort."
5858 , P.text "See the Port module for more details:"
5959 , P.text "<http://package.elm-lang.org/packages/elm-lang/core/latest/Port>"
6060 ]