summaryrefslogtreecommitdiff
path: root/src/util.mli
diff options
context:
space:
mode:
authorKathy Gray2013-10-11 15:11:45 +0100
committerKathy Gray2013-10-11 15:11:45 +0100
commitafe5cdfeead6f22fb8449497b0c4f02206ba4472 (patch)
tree60e2827df542dbe8efdc2b29115c1e2b0ceff7c3 /src/util.mli
parent40b4aefdd9d225acf7c6a22237e89ecb4148f2e6 (diff)
Supporting all expressions, although vector cacentation pattern matching can only match simple patterns (until type information is available).
Diffstat (limited to 'src/util.mli')
0 files changed, 0 insertions, 0 deletions