Differences

This shows you the differences between two versions of the page.

--- records [2021/10/28 18:24] – Added grammar for records. sprowell
+++ records [2021/10/28 18:27] (current) – Added grammar for simple rules and binds. sprowell
@@ Line 13: / Line 13: @@
 <code>
-record = "{" ~ { untyped_symbol ~ "=>" ~ term ~ ","? }* ~ "}"
+record = "{" ~ { untyped_symbol ~ "=>" ~ term ~ ","? }+ ~ "}"
 </code>
@@ Line 39: / Line 39: @@
 { $x => 21 } . ( $x -> 17 )
 --> $x -> 17
+</code>
+<code>
+bind = "{" ~ { untyped_variable ~ "=>" ~ term ","? }* ~ "}"
 </code>
@@ Line 60: / Line 64: @@
 } . %("Fred", "Flintstone")
 --> "FredFlintstone"
+</code>
+<code>
+simple_rule = "{" ~ { lambda ~ ","? }+ ~ "}"
 </code>