diff options
| author | Michael Williamson <mike@zwobble.org> | 2017-03-28 19:54:27 +0100 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2017-03-28 19:54:27 +0100 |
| commit | 013c58676c7bf6777dfb2efb2f4ea4b03ab41a43 (patch) | |
| tree | ef8bbc230508c002d70302005cd5dde638a4dabb /src/main/java/org/zwobble/couscous/frontends | |
| parent | d29b502be2a1ac6750c9391d7417d7fde94bd3a6 (diff) | |
Fix generation of hoisted type constructor
Diffstat (limited to 'src/main/java/org/zwobble/couscous/frontends')
| -rw-r--r-- | src/main/java/org/zwobble/couscous/frontends/java/GeneratedClosure.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/java/org/zwobble/couscous/frontends/java/GeneratedClosure.java b/src/main/java/org/zwobble/couscous/frontends/java/GeneratedClosure.java index c019cb8..0bf7649 100644 --- a/src/main/java/org/zwobble/couscous/frontends/java/GeneratedClosure.java +++ b/src/main/java/org/zwobble/couscous/frontends/java/GeneratedClosure.java @@ -47,4 +47,8 @@ public class GeneratedClosure { private ScalarType getType() { return classNode.getName(); } + + public InsertionOrderSet<TypeParameter> getCapturedTypes() { + return capturedTypes; + } } |
