Agda-2.3.2.2: test/fail/TabsInPragmas.err
TabsInPragmas.agda:1,5-5 TabsInPragmas.agda:1,5: Lexical error (you may want to replace tabs with spaces): OPTIONS<ERROR> --type-in-type #-} module Ta...
TabsInPragmas.agda:1,5-5 TabsInPragmas.agda:1,5: Lexical error (you may want to replace tabs with spaces): OPTIONS<ERROR> --type-in-type #-} module Ta...