diff options
| author | Pierre-Marie Pédrot | 2015-10-07 14:43:49 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-07 14:47:55 +0200 |
| commit | 27492a7674587e1a3372cd7545e056e2775c69b3 (patch) | |
| tree | 7d1267ac043e7cb670371f82bd97f5be811f4e29 /kernel/nativelambda.ml | |
| parent | 8a7f111ad5ce35e183016a2a968d19f29b7622c5 (diff) | |
Test for record syntax parsing.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions