- "let
- type a = {x:int, y:int}
- type b = {x:int, y:int} /* new type generated */
- var foo : a := a {x = 1, y = 2}
- var bar : b := b {x = 1, y = 2}
- in
- foo = bar /* incompatible types */
- end
+ "let \
+ type a = {x:int, y:int} \
+ type b = {x:int, y:int} /* new type generated */ \
+ var foo : a := a {x = 1, y = 2} \
+ var bar : b := b {x = 1, y = 2} \
+ in \
+ foo = bar /* incompatible types */ \
+ end \