aboutsummaryrefslogtreecommitdiff
path: root/dev
diff options
context:
space:
mode:
authorPierre-Marie Pédrot2020-12-30 18:08:15 +0100
committerPierre-Marie Pédrot2020-12-31 15:59:05 +0100
commit8719fb545724b020808e2d1f8443495297d62ea5 (patch)
treebe67b44299233a9a0943cc0834ae63b0e682aa5a /dev
parent039f04c2caf7c8da380ca8d582e9edae3e6d5c06 (diff)
Add a test for a complex conversion involving pattern-matching with let-bindings.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions