@@ -57,8 +57,8 @@ validMainTypes :: [ST.CanonicalType]
5757validMainTypes =
5858 [ element
5959 , html
60− , varying element
61− , varying html
60+ , signal element
61+ , signal html
6262 ]
6363 where
6464 fromModule :: [String] -> String -> ST.CanonicalType
@@ -68,8 +68,8 @@ validMainTypes =
6868 html =
6969 fromModule ["VirtualDom"] "Node"
7070
71− varying tipe =
72− ST.App (fromModule ["Signal"] "Varying") [ tipe ]
71+ signal tipe =
72+ ST.App (fromModule ["SignalTypes"] "Signal") [ tipe ]
7373
7474 element =
7575 let builtin name =
@@ -103,7 +103,7 @@ badMainMessage typeOfMain =
103103 P.vcat
104104 [ P.text "Type Error: 'main' must have one of the following types:"
105105 , P.text " "
106− , P.text " Element, Html, Varying Element, Varying Html"
106+ , P.text " Element, Html, Signal Element, Signal Html"
107107 , P.text " "
108108 , P.text "Instead 'main' has type:\n"
109109 , P.nest 4 (PP.pretty typeOfMain)