diff options
Diffstat (limited to 'new-luxc/source/luxc/generator/procedure/host.jvm.lux')
| -rw-r--r-- | new-luxc/source/luxc/generator/procedure/host.jvm.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/generator/procedure/host.jvm.lux b/new-luxc/source/luxc/generator/procedure/host.jvm.lux index 44da5744d..5fb779d41 100644 --- a/new-luxc/source/luxc/generator/procedure/host.jvm.lux +++ b/new-luxc/source/luxc/generator/procedure/host.jvm.lux @@ -16,6 +16,10 @@ [host]) (luxc ["&" base] [";L" host] + (host ["$" jvm] + (jvm ["$t" type] + ["$d" def] + ["$i" inst])) (lang ["la" analysis] ["ls" synthesis]) ["&;" analyser] @@ -23,11 +27,7 @@ ["&;" synthesizer] (synthesizer [function]) (generator ["&;" common] - ["&;" runtime] - (host ["$" jvm] - (jvm ["$t" type] - ["$d" def] - ["$i" inst])))) + ["&;" runtime])) ["@" ../common]) (do-template [<name> <inst>] |