| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
|
|
|
|
|
|
| |
These were all pointed out by regexlint but required manual effort to track down
(indicator.py was confused by most of them being produced by expressions).
Also comment out some iffy comment patterns.
|
|
|
|
|
| |
These locations were all found by regexlint and done semi-manually, leaving
braces within [] alone (they aren't special in the 'regex' module).
|
|
|
|
|
| |
In the case of TH quoting, 'f'7 means char literal and then numeric 7, not quoted f'7, see
http://www.haskell.org/ghc/docs/7.6.2/html/users_guide/template-haskell.html
|
| |
|
|
|
|
|
| |
Added 'instance', 'postulate', 'renaming', 'tactic', 'unquoteDecl'.
Added the first three to test.agda.
|
| |
|
|
|