@@ -86,16 +86,17 @@ checkMain typeEnv (Can.Def facts pattern@(A.A region _) body maybeType) =
87 getMainKind =
87 getMainKind =
88 case Type.deepDealias mainType of
88 case Type.deepDealias mainType of
89− Type.App name [arg]
89+ Type.App name [_]
90 | name == vdomNode ->
90 | name == vdomNode ->
91 return Expr.VDom
91 return Expr.VDom
93+ Type.App name [flags, _, _]
93− | name == program && arg == never ->
94+ | name == program && flags == never ->
94 return Expr.NoFlags
95 return Expr.NoFlags
96 | name == program ->
97 | name == program ->
97− return (Expr.Flags arg)
98+ return (Expr.Flags flags)
98− <* Effects.checkPortType makeError arg
99+ <* Effects.checkPortType makeError flags
101 Result.throw region (Error.BadMain mainType)
102 Result.throw region (Error.BadMain mainType)