From 4433c9bcd6c6cac44c018aad2e21a5b4d7cc4896 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 29 Nov 2017 22:49:56 -0400
Subject: - Adapted main codebase to the latest syntatic changes.
---
new-luxc/source/luxc/lang/analysis/common.lux | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
(limited to 'new-luxc/source/luxc/lang/analysis/common.lux')
diff --git a/new-luxc/source/luxc/lang/analysis/common.lux b/new-luxc/source/luxc/lang/analysis/common.lux
index c1a2a4f5b..aeed656a8 100644
--- a/new-luxc/source/luxc/lang/analysis/common.lux
+++ b/new-luxc/source/luxc/lang/analysis/common.lux
@@ -1,4 +1,4 @@
-(;module:
+(.module:
lux
(lux (control monad
["ex" exception #+ exception:])
@@ -12,18 +12,18 @@
(def: #export (with-unknown-type action)
(All [a] (-> (Meta a) (Meta [Type a])))
- (do macro;Monad
- [[_ varT] (&;with-type-env tc;var)
- analysis (&;with-type varT
+ (do macro.Monad
+ [[_ varT] (&.with-type-env tc.var)
+ analysis (&.with-type varT
action)
- knownT (&;with-type-env (tc;clean varT))]
+ knownT (&.with-type-env (tc.clean varT))]
(wrap [knownT analysis])))
(exception: #export Variant-Tag-Out-Of-Bounds)
(def: #export (variant-out-of-bounds-error type size tag)
(All [a] (-> Type Nat Nat (Meta a)))
- (&;throw Variant-Tag-Out-Of-Bounds
+ (&.throw Variant-Tag-Out-Of-Bounds
(format " Tag: " (%n tag) "\n"
"Variant Size: " (%n size) "\n"
"Variant Type: " (%type type))))
--
cgit v1.2.3