aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/host
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/host/jvm.lux21
1 files changed, 10 insertions, 11 deletions
diff --git a/new-luxc/source/luxc/lang/host/jvm.lux b/new-luxc/source/luxc/lang/host/jvm.lux
index 6f56f9e0e..cb5bb46fb 100644
--- a/new-luxc/source/luxc/lang/host/jvm.lux
+++ b/new-luxc/source/luxc/lang/host/jvm.lux
@@ -96,17 +96,16 @@
(type: #export Host
(translation.Host Inst Definition))
-(type: #export State
- (translation.State ..Anchor Inst Definition))
-
-(type: #export Operation
- (translation.Operation ..Anchor Inst Definition))
-
-(type: #export Phase
- (translation.Phase ..Anchor Inst Definition))
-
-(type: #export Bundle
- (translation.Bundle ..Anchor Inst Definition))
+(do-template [<name> <base>]
+ [(type: #export <name>
+ (<base> ..Anchor Inst Definition))]
+
+ [State translation.State]
+ [Operation translation.Operation]
+ [Phase translation.Phase]
+ [Handler translation.Handler]
+ [Bundle translation.Bundle]
+ )
## [Values]
(syntax: (config: {type s.local-identifier}