Merge pull request #1205 from david-christiansen/issue/1191
Allow %name to take an infix name as an argument.
commit5621005fe9d4b893f841cf1b26110454bd906fb4
authorDavid Christiansen <david@davidchristiansen.dk>
dateWed 7 May 2014, 10:57 (12 years ago)
parent1e59cbdaabd0a9
src/Idris/Parser.hs+1−1
@@ -1000,7 +1000,7 @@ directive syn = do try (lchar '%' *> reserved "lib"); cgn <- codegen_; lib <- st
10001000 Right msg ->
10011001 fail $ msg)]
10021002 <|> do try (lchar '%' *> reserved "name")
1003− ty <- iName []
1003+ ty <- fnName
10041004 ns <- sepBy1 name (lchar ',')
10051005 return [PDirective (do ty' <- disambiguate ty
10061006 mapM_ (addNameHint ty') ns