@@ -13,8 +13,8 @@ module Reporting.Error.Syntax
1313
1414
1515import Data.Monoid ((<>))
16+import qualified Data.Set as Set
1617import qualified Data.Text as Text
17−import Data.Text (Text)
1818
1919import qualified Elm.Name as N
2020import qualified Reporting.Region as R
@@ -59,7 +59,7 @@ data Problem
5959 | BadNumberHex
6060 | BadNumberZero
6161 | FloatInPattern
62− | BadShader Text
62+ | BadShader Text.Text
6363 | BadUnderscore Int
6464 | BadOp BadOp ContextStack
6565 | Theories ContextStack [Theory]
@@ -76,9 +76,9 @@ data BadOp = HasType | Equals | Arrow | Pipe | Dot
7676
7777
7878data Theory
79− = Keyword String
79+ = Expecting Next
80+ | Keyword String
8081 | Symbol String
81− | Expecting Next
8282 | LowVar
8383 | CapVar
8484 | InfixOp
@@ -497,7 +497,7 @@ problemToDocs problem =
497497 H.reflow $
498498 "Something went wrong while parsing " <> contextToString "your code" "" stack <> "."
499499 ,
500− case allTheories of
500+ case Set.toList (Set.fromList allTheories) of
501501 [] ->
502502 H.stack
503503 [ H.reflow $