From 50cc5fbe7cc8abde05085944393fcec4c791402f Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Sep 2017 18:36:09 -0400
Subject: - Updated new compiler's code to the recent changes in the language.
 - WIP: Some other changes/additions to the new compiler.

---
 new-luxc/source/luxc/lang/synthesis.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/synthesis.lux b/new-luxc/source/luxc/lang/synthesis.lux
index ad31d0138..e8f186944 100644
--- a/new-luxc/source/luxc/lang/synthesis.lux
+++ b/new-luxc/source/luxc/lang/synthesis.lux
@@ -11,7 +11,7 @@
   (#NatP Nat)
   (#IntP Int)
   (#DegP Deg)
-  (#RealP Real)
+  (#FracP Frac)
   (#TextP Text)
   (#VariantP (Either Nat Nat) (Path' s))
   (#TupleP (Either Nat Nat) (Path' s))
@@ -26,7 +26,7 @@
   (#Nat Nat)
   (#Int Int)
   (#Deg Deg)
-  (#Real Real)
+  (#Frac Frac)
   (#Text Text)
   (#Variant Nat Bool Synthesis)
   (#Tuple (List Synthesis))
-- 
cgit v1.2.3