Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Parser API annotations: RealSrcLoc | Vladislav Zavialov | 2020-02-21 | 1 | -2/+3 |
* | check-api-annotations checks for annotation preceding its span | Alan Zimmerman | 2019-01-27 | 1 | -1/+6 |
* | Tweak API Annotations for ConDeclGADT | Alan Zimmerman | 2018-06-24 | 1 | -0/+1 |
* | Support constructor Haddocks in more places | Alec Theriault | 2018-01-12 | 1 | -1/+4 |
* | Provide a utility to check API Annotations docs | Alan Zimmerman | 2015-11-01 | 1 | -167/+85 |
* | ApiAnnotations : parens around a context with wildcard loses annotations | Alan Zimmerman | 2015-05-21 | 1 | -8/+8 |
* | ApiAnnotations : AST version of nested forall loses forall annotation | Alan Zimmerman | 2015-05-21 | 1 | -0/+171 |
* | Revert "ApiAnnotations : Nested forall loses forall annotation" | Austin Seipp | 2015-05-06 | 1 | -96/+0 |
* | ApiAnnotations : Nested forall loses forall annotation | Alan Zimmerman | 2015-05-06 | 1 | -0/+96 |