diff options
author | Chimrod <> | 2024-01-15 11:12:36 +0100 |
---|---|---|
committer | Chimrod <> | 2024-01-15 11:12:36 +0100 |
commit | 289f1c91a11bd69a9a1239cba5e6390f6d1e592e (patch) | |
tree | fbf343ec98c5b0c4385ce278f95d71c72a80cf34 /test/syntax.ml | |
parent | c48740e598132261e20260678ff2feb3b398d913 (diff) |
Do not raise type error on dyneval function
Diffstat (limited to 'test/syntax.ml')
0 files changed, 0 insertions, 0 deletions