diff options
| author | Brian Campbell | 2017-09-14 15:00:36 +0100 |
|---|---|---|
| committer | Brian Campbell | 2017-09-14 15:00:36 +0100 |
| commit | 47aff351871c9617738557bade7633331acfb07f (patch) | |
| tree | 50e7230296b36cd924cc2ccf82d8335148cdf9ae /src/test/pattern.sail | |
| parent | 00cf8533221d2dfa650adcd38ac53943be5bd995 (diff) | |
Two thirds of monomorphising union types with an existential
Still need some way of picking the appropriate constructor
Diffstat (limited to 'src/test/pattern.sail')
0 files changed, 0 insertions, 0 deletions