]> gerrit.simantics Code Review - simantics/platform.git/blob - Macros1.scl
Code Review / simantics / platform.git / blob
? search:


37b4e053eb491c40625140e3c6877225d6aa3558
[simantics/platform.git] / Macros1.scl
1 @macro\r
2 (||) :: Boolean -> Boolean -> Boolean \r
3 a || b = if a then True else b\r
4 \r
5 main :: Boolean\r
6 main = True || (fail "This should not be executed")\r
7 --\r
8 true
Simantics Platform SDK.