summaryrefslogtreecommitdiff
path: root/tests/option.ur
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-30 14:44:29 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-30 14:44:29 -0400
commitbd0d3db78996b00e153252f03b02551ac3fde4cf (patch)
tree0fad0449847add724cfee07969e95597f7136ea8 /tests/option.ur
parent54276f5a38163eb7997c574810faed0cc6dea35c (diff)
Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
Diffstat (limited to 'tests/option.ur')
0 files changed, 0 insertions, 0 deletions