From 718a4272074121ed1adb90626076dcc5e9217b2c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Fri, 1 Dec 2017 19:21:19 -0400
Subject: - Made it so that module annotations can only be set once now.

---
 stdlib/source/lux.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib')

diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index c1d94e53b..4ec6e1ea1 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -599,7 +599,7 @@
 ##    #imports        (List Text)
 ##    #tags           (List [Text [Nat (List Ident) Bool Type]])
 ##    #types          (List [Text [(List Ident) Bool Type]])
-##    #module-anns    Anns
+##    #module-anns    (Maybe Anns)
 ##    #module-state   Module-State})
 ("lux def" Module
  (#Named ["lux" "Module"]
@@ -625,7 +625,7 @@
                                                      Type)))
                        List)
                (#Product ## "lux.module-annotations"
-                Code
+                (#Apply Code Maybe)
                 Module-State))
               ))))))
  (record$ (#Cons [(tag$ ["lux" "tags"])
-- 
cgit v1.2.3