Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | A test checking for non-collision of name in irrefutable patterns. | 2017-03-23 | |
| | |||
* | Some extra fixes in printing patterns in binders. | 2016-07-19 | |
| | | | | | | | | | | - typo in notation_ops.ml - factorization of patterns in ppconstr.ml - update of test-suite - printing of cast of a binding pattern if in mode "printing all" The question of whether or not to print the type of a binding pattern by default seems open to me. | ||
* | Taking into account binding patterns when agglutinating sequences of binders. | 2016-07-19 | |
| | | | | | Supporting accordingly printing of sequences of binders including binding patterns. | ||
* | Fixing missing parentheses in printing of patterns in binders. | 2016-07-19 | |
| | | | | (In agreement with Daniel.) | ||
* | Patterns in binders: printing tests | 2016-06-27 | |