diff options
| author | Brian Campbell | 2019-05-02 12:01:44 +0100 |
|---|---|---|
| committer | Brian Campbell | 2019-05-06 16:36:45 +0100 |
| commit | 4eb2e16d8e3accf5bfc9d695be619d80b34e2824 (patch) | |
| tree | 1465032f1909b67221b170a2b2afb3b17f7f5e07 /src/lem_interp/interp_inter_imp.lem | |
| parent | 1064db03f724f96dee4ea4da1ddc47f201d28cbb (diff) | |
Calculate some type variable substitutions during constant propagation
Needed for constructor monomorphisation
Diffstat (limited to 'src/lem_interp/interp_inter_imp.lem')
0 files changed, 0 insertions, 0 deletions