Commit 3f37eb0d authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Updated Recordtest to new syntax

parent b6027de3
......@@ -5,6 +5,8 @@ type Record =
, boolField :: Bool
}
empty = { intField = 0, boolField = False }
empty = { intField := 0, boolField := False }
full = { intField = 1, boolField = True }
\ No newline at end of file
full = { intField := 1, boolField := True }
expr = empty :> intField + 1 == 0
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment