diff options
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/host/jvm.lux | 21 | 
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} | 
