summaryrefslogtreecommitdiff
path: root/src/pp.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2018-08-30 15:33:18 +0100
committerAlasdair Armstrong2018-08-30 15:34:46 +0100
commitd97e6b84bfb66c141e3dfadb8edbd9afada77664 (patch)
treef9086b2bea34d909410946c729e55be731782a31 /src/pp.ml
parenta5ad2059821b86ef26a86d78c40cc680c57aa94e (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/pp.ml')
0 files changed, 0 insertions, 0 deletions