aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux
diff options
context:
space:
mode:
authorEduardo Julian2018-10-29 21:54:10 -0400
committerEduardo Julian2018-10-29 21:54:10 -0400
commit3da30aff80bc8c80e090574887a58c6015ceb694 (patch)
treecc157fb121fd6cfb2559f6dedd0de046566a453a /new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux
parent70ffb24d3a0d817080d54e4d3eb4bd49ba18feea (diff)
Extracted "phase" from under "lux/platform/compiler/default".
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux9
1 files changed, 4 insertions, 5 deletions
diff --git a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux
index ed40d498f..40f4decd9 100644
--- a/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/jvm/loop.jvm.lux
@@ -9,11 +9,10 @@
["." list ("list/." Functor<List> Monoid<List>)]]]
[platform
[compiler
- [default
- [reference (#+ Register)]
- ["." phase
- ["." synthesis (#+ Synthesis)]
- ["." translation]]]]]]
+ [reference (#+ Register)]
+ ["." phase
+ ["." synthesis (#+ Synthesis)]
+ ["." translation]]]]]
[luxc
[lang
[host