Merge pull request #58 from LuxLang/hierarchy_normalization

Hierarchy normalization

1 files changed, 27 insertions, 26 deletions

diff --git a/lux-jvm/source/luxc/lang/translation/jvm/case.lux b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
index f3bbb2a1c..65e5dba62 100644
--- a/lux-jvm/source/luxc/lang/translation/jvm/case.lux
+++ b/lux-jvm/source/luxc/lang/translation/jvm/case.lux
@@ -1,30 +1,31 @@
 (.module:
-  [lux (#- Type if let case)
-   [abstract
-    ["." monad (#+ do)]]
-   [control
-    ["." function]
-    ["ex" exception (#+ exception:)]]
-   [data
-    [collection
-     ["." list ("#@." fold)]]]
-   [math
-    [number
-     ["n" nat]]]
-   [target
-    [jvm
-     ["." type (#+ Type)
-      ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)]
-      ["." descriptor (#+ Descriptor)]
-      ["." signature (#+ Signature)]]]]
-   [tool
-    [compiler
-     ["." phase ("operation@." monad)]
-     [meta
-      [archive (#+ Archive)]]
-     [language
-      [lux
-       ["." synthesis (#+ Path Synthesis)]]]]]]
+  [library
+   [lux (#- Type if let case)
+    [abstract
+     ["." monad (#+ do)]]
+    [control
+     ["." function]
+     ["ex" exception (#+ exception:)]]
+    [data
+     [collection
+      ["." list ("#@." fold)]]]
+    [math
+     [number
+      ["n" nat]]]
+    [target
+     [jvm
+      ["." type (#+ Type)
+       ["." category (#+ Void Value Return Primitive Object Class Array Var Parameter Method)]
+       ["." descriptor (#+ Descriptor)]
+       ["." signature (#+ Signature)]]]]
+    [tool
+     [compiler
+      ["." phase ("operation@." monad)]
+      [meta
+       [archive (#+ Archive)]]
+      [language
+       [lux
+        ["." synthesis (#+ Path Synthesis)]]]]]]]
   [luxc
    [lang
     [host