on master help sign in
Allow %name to take an infix name as an argument.

Fixes #1191.

commitaabd0a91ba887da89fbdb15fa3fb76609abf30df authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateTue 6 May 2014, 20:24 (12 years ago) parent29cd870
1 file changed+1−1
src/Idris/Parser.hs+1−1
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