diff options
| author | Brian Campbell | 2019-05-02 15:25:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-06 16:36:45 +0100 |
| commit | f435dc901d6331514a8d64768169e7770ea8bd7a (patch) | |
| tree | d78d3a39796fc4f1673e7abf84091b2304e6a63e /src/lem_interp/interp_inter_imp.lem | |
| parent | 1d1903e5243cbad1302d00f2c102579a79d28d4d (diff) | |
Avoid degenerate construction monomorphisation, use # in generated names
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions