From 7e18f589a05bde28b3f710d92f72b7bd6b6e144f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Dec 2017 02:41:59 -0400
Subject: - Added analysis, synthesis, translation and statement extensions. -
 No longer doing ad-hoc I/O in new-luxc. - Minor fixes and adjustments.

---
 new-luxc/source/luxc/lang/module.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'new-luxc/source/luxc/lang/module.lux')

diff --git a/new-luxc/source/luxc/lang/module.lux b/new-luxc/source/luxc/lang/module.lux
index 58bf94571..ebc0ee7b0 100644
--- a/new-luxc/source/luxc/lang/module.lux
+++ b/new-luxc/source/luxc/lang/module.lux
@@ -25,7 +25,7 @@
   (-> Nat Module)
   {#.module-hash        hash
    #.module-aliases     (list)
-   #.defs               (list)
+   #.definitions        (list)
    #.imports            (list)
    #.tags               (list)
    #.types              (list)
@@ -82,16 +82,16 @@
 
 (def: #export (define (^@ full-name [module-name def-name])
                       definition)
-  (-> Ident Def (Meta Unit))
+  (-> Ident Definition (Meta Unit))
   (function [compiler]
     (case (&.pl-get module-name (get@ #.modules compiler))
       (#.Some module)
-      (case (&.pl-get def-name (get@ #.defs module))
+      (case (&.pl-get def-name (get@ #.definitions module))
         #.None
         (#e.Success [(update@ #.modules
                               (&.pl-put module-name
-                                        (update@ #.defs
-                                                 (: (-> (List [Text Def]) (List [Text Def]))
+                                        (update@ #.definitions
+                                                 (: (-> (List [Text Definition]) (List [Text Definition]))
                                                     (|>> (#.Cons [def-name definition])))
                                                  module))
                               compiler)
-- 
cgit v1.2.3