@@ -274,7 +274,7 @@ toReport source err =
274 "You have declared that `" ++ Name.toChars name ++ "` is an effect type:"
274 "You have declared that `" ++ Name.toChars name ++ "` is an effect type:"
276 D.reflow $
276 D.reflow $
277− "But I cannot find a union type named `" ++ Name.toChars name ++ "` in this file!"
277+ "But I cannot find a custom type named `" ++ Name.toChars name ++ "` in this file!"
280 EffectFunctionNotFound region name ->
280 EffectFunctionNotFound region name ->
@@ -342,7 +342,7 @@ toReport source err =
342 Code.toSnippet source region Nothing
342 Code.toSnippet source region Nothing
344 D.reflow $
344 D.reflow $
345− "The (..) syntax is for exposing union type constructors. It cannot be used with a type alias like `"
345+ "The (..) syntax is for exposing variants of a custom type. It cannot be used with a type alias like `"
346 ++ Name.toChars name ++ "` though."
346 ++ Name.toChars name ++ "` though."
348 D.reflow $
348 D.reflow $
@@ -355,12 +355,12 @@ toReport source err =
356 D.reflow $
356 D.reflow $
357 "You are trying to import the `" <> Name.toChars ctor
357 "You are trying to import the `" <> Name.toChars ctor
358− <> "` type constructor by name:"
358+ <> "` variant by name:"
360 D.fillSep
360 D.fillSep
361 ["Try","importing",D.green (D.fromName tipe <> "(..)"),"instead."
361 ["Try","importing",D.green (D.fromName tipe <> "(..)"),"instead."
362 ,"The","dots","mean","“expose","the",D.fromName tipe,"type","and"
362 ,"The","dots","mean","“expose","the",D.fromName tipe,"type","and"
363− ,"all","its","constructors”","so","it","gives","you","access","to"
363+ ,"all","its","variants","so","it","gives","you","access","to"
364 , D.fromName ctor <> "."
364 , D.fromName ctor <> "."