Simple test

This commit is contained in:
Denis Merigoux 2023-12-11 13:26:13 +01:00
parent 79a261bb47
commit 1d4119c3a3
No known key found for this signature in database
GPG Key ID: EE99DCFA365C3EE3

View File

@ -0,0 +1,19 @@
```catala
declaration structure Foo:
data x content boolean
data y content decimal
declaration enumeration Bar:
-- No
-- Yes content Foo
declaration scope Baz:
input a content Bar
output b content decimal
scope Baz:
definition b equals
match a with pattern
-- No: 0.0
-- Yes of foo: foo.y + if foo.x then 1.0 else 0.0
```