@@ -86,16 +86,17 @@ checkMain typeEnv (Can.Def facts pattern@(A.A region _) body maybeType) =
8686
8787 getMainKind =
8888 case Type.deepDealias mainType of
89− Type.App name [arg]
89+ Type.App name [_]
9090 | name == vdomNode ->
9191 return Expr.VDom
9292
93− | name == program && arg == never ->
93+ Type.App name [flags, _, _]
94+ | name == program && flags == never ->
9495 return Expr.NoFlags
9596
9697 | name == program ->
97− return (Expr.Flags arg)
98− <* Effects.checkPortType makeError arg
98+ return (Expr.Flags flags)
99+ <* Effects.checkPortType makeError flags
99100
100101 _ ->
101102 Result.throw region (Error.BadMain mainType)