on master help sign in
Merge pull request #1205 from david-christiansen/issue/1191
5621005David Christiansen
src/Idris/Parser.hs+1−1
@@ -1000,7 +1000,7 @@ directive syn = do try (lchar '%' *> reserved "lib"); cgn <- codegen_; lib <- st
1000 Right msg ->
1000 Right msg ->
1001 fail $ msg)]
1001 fail $ msg)]
1002 <|> do try (lchar '%' *> reserved "name")
1002 <|> do try (lchar '%' *> reserved "name")
1003− ty <- iName []
1003+ ty <- fnName
1004 ns <- sepBy1 name (lchar ',')
1004 ns <- sepBy1 name (lchar ',')
1005 return [PDirective (do ty' <- disambiguate ty
1005 return [PDirective (do ty' <- disambiguate ty
1006 mapM_ (addNameHint ty') ns
1006 mapM_ (addNameHint ty') ns