@@ -177,11 +177,26 @@ consTerm =
177177 oneOf
178178 [ do start <- getPosition
179179 ctor <- qualifiedCapVar
180− constructorHelp start ctor []
180+ case ctor of
181+ "True" -> boolEnd start True
182+ "False" -> boolEnd start False
183+ _ -> constructorHelp start ctor []
184+
181185 , (,,) <$> term <*> getPosition <*> whitespace
182186 ]
183187
184188
189+boolEnd :: R.Position -> Bool -> SParser P.Raw
190+boolEnd start bool =
191+ do end <- getPosition
192+ sPos <- whitespace
193+ return
194+ ( A.at start end $ P.Literal (L.Boolean bool)
195+ , end
196+ , sPos
197+ )
198+
199+
185200exprHelp :: R.Position -> [P.Raw] -> (P.Raw, R.Position, SPos) -> Parser (P.Raw, SPos)
186201exprHelp start patterns (pattern, end, sPos) =
187202 oneOf