 milner
|
41291e8405
|
construct missing-case witnesses for finite and integer domains
|
2020-02-19 12:00:00 +00:00 |
|
|
milner
|
536ecdf0cf
|
check match coverage across multiple arguments
|
2020-02-14 12:00:00 +00:00 |
|
|
milner
|
7e1d712e85
|
detect redundant clauses through usefulness analysis
|
2020-02-10 12:00:00 +00:00 |
|
|
milner
|
2cbbe7bb49
|
specialise matrices by constructors and default cases
|
2020-02-05 12:00:00 +00:00 |
|
|
milner
|
d805be2117
|
represent pattern matrices and typed occurrences
|
2020-01-31 12:00:00 +00:00 |
|
|
milner
|
4fadf4bc01
|
evaluate source matches with ordered clause semantics
|
2020-01-27 12:00:00 +00:00 |
|
|
milner
|
67f24dd845
|
typecheck nested patterns and clause expressions
|
2020-01-22 12:00:00 +00:00 |
|
|
milner
|
fb0fd5431c
|
resolve constructors and validate pattern bindings
|
2020-01-17 12:00:00 +00:00 |
|
|
milner
|
e1d7c8b395
|
parse algebraic declarations and ordered match clauses
|
2020-01-13 12:00:00 +00:00 |
|