Use `fullExpr` instead of `typeExpr` in search
This allows desugaring of !-patterns and avoid internal errors.
commitbd4789c1e0ce892b9b97d5b5b65e3848cab28e71
author(λ _ λ) <zjhmale@gmail.com>
dateSat 20 Aug 2016, 17:46 (10 years ago)
parente8d356f
src/Idris/REPL/Parser.hs+1−1
@@ -521,7 +521,7 @@ packageBasedCmd valParser cmd name =
521521
522522cmd_search :: String -> P.IdrisParser (Either String Command)
523523cmd_search = packageBasedCmd
524− (P.typeExpr (defaultSyntax { implicitAllowed = True })) Search
524+ (P.fullExpr (defaultSyntax { implicitAllowed = True })) Search
525525
526526cmd_proofsearch :: String -> P.IdrisParser (Either String Command)
527527cmd_proofsearch name = do