diff options
| author |  Matthew Dempsky <matthew@dempsky.org> | 2020-02-04 16:44:59 -0800 |
|---|---|---|
| committer | Matthew Dempsky <matthew@dempsky.org> | 2020-02-04 16:50:44 -0800 |
| commit | 77d355444228fcde64572b86920e87df139fa4ed (patch) | |
| tree | 661676a16138f8c359ec2d1cd551fdf84f2ef68c /lib | |
| parent | dbdf458dc49191a6f355a16bae839a2d618513b7 (diff) | |
Fix record type shorthand
The syntax is {c : c}, not {c = c}.
Also, replace uses of shorthand (both correct and incorrect) in
semantics rules with elaborated $[c = c].
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions