diff options
| author | Alasdair Armstrong | 2018-08-30 15:33:18 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-08-30 15:34:46 +0100 |
| commit | d97e6b84bfb66c141e3dfadb8edbd9afada77664 (patch) | |
| tree | f9086b2bea34d909410946c729e55be731782a31 /src/rewrites.ml | |
| parent | a5ad2059821b86ef26a86d78c40cc680c57aa94e (diff) | |
C: Fix an issue with struct field being generalised inside polymorphic constructors
Add a new printing function for debugging that recursively prints
constructor types.
Fix an interpreter bug when pattern matching on constructors with
tuple types.
Diffstat (limited to 'src/rewrites.ml')
0 files changed, 0 insertions, 0 deletions