diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2016-12-31 14:27:55 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2016-12-31 14:27:55 -0500 |
| commit | 245eb671d45ceda8715b8850c7a5c4540da685fa (patch) | |
| tree | 12f8e72a97048b4ddb531d615eb045e4f573b8a2 /demo | |
| parent | d5ae848de34109b66d2ec45fd6c0ac5a06149a68 (diff) | |
Allow qualified variable references in record literals
Diffstat (limited to 'demo')
0 files changed, 0 insertions, 0 deletions