diff options
| author | Alasdair Armstrong | 2019-03-22 16:14:23 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-22 16:16:16 +0000 |
| commit | c9471630ad64af00a58a3c92f4b6a22f2194e9ee (patch) | |
| tree | b3ccdf6840378de84943fc6f48b96afa33aa3422 /src/jib/jib_util.ml | |
| parent | 2b0a4e2746e632d3f823baade49b560f79317497 (diff) | |
C: Fix as-patterns in C output
Most such patterns are re-written away by various re-writing steps,
but for those that arn't they are fairly easy to handle by just having
as patterns directly in the ANF-patterns.
Fixes #39
Diffstat (limited to 'src/jib/jib_util.ml')
0 files changed, 0 insertions, 0 deletions