@@ -2400,10 +2400,14 @@ directive syn = try (do lchar '%'; reserved "lib"; cgn <- codegen_; lib <- strin
24002400 Left lib -> addIBC (IBCDyLib (lib_name lib))
24012401 Right msg ->
24022402 fail $ msg)])
2403− <|> try (do lchar '%'; reserved "language"; ext <- reserved "TypeProviders";
2404− return [PDirective (addLangExt TypeProviders)])
2403+ <|> try (do lchar '%'; reserved "language"; ext <- pLangExt;
2404+ return [PDirective (addLangExt ext)])
24052405 <?> "directive"
24062406
2407+pLangExt :: IdrisParser LanguageExt
2408+pLangExt = (reserved "TypeProviders" >> return TypeProviders)
2409+ <|> (reserved "ErrorReflection" >> return ErrorReflection)
2410+
24072411{- | Parses a totality
24082412Totality ::= 'partial' | 'total'
24092413-}