@@ -177,11 +177,26 @@ consTerm =
178 [ do start <- getPosition
178 [ do start <- getPosition
179 ctor <- qualifiedCapVar
179 ctor <- qualifiedCapVar
181+ "True" -> boolEnd start True
182+ "False" -> boolEnd start False
180− constructorHelp start ctor []
183+ _ -> constructorHelp start ctor []
181 , (,,) <$> term <*> getPosition <*> whitespace
185 , (,,) <$> term <*> getPosition <*> whitespace
189+boolEnd :: R.Position -> Bool -> SParser P.Raw
191+ do end <- getPosition
194+ ( A.at start end $ P.Literal (L.Boolean bool)
185exprHelp :: R.Position -> [P.Raw] -> (P.Raw, R.Position, SPos) -> Parser (P.Raw, SPos)
200exprHelp :: R.Position -> [P.Raw] -> (P.Raw, R.Position, SPos) -> Parser (P.Raw, SPos)
186exprHelp start patterns (pattern, end, sPos) =
201exprHelp start patterns (pattern, end, sPos) =