From 70005a6dee1eba3e3f5694aa4903e95988dcaa3d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 13 Nov 2017 23:26:06 -0400
Subject: - Refactoring. - Now giving type checking/inference a higher
 priority. - Better error messages.

---
 new-luxc/source/luxc/lang/analysis/primitive.lux | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

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

diff --git a/new-luxc/source/luxc/lang/analysis/primitive.lux b/new-luxc/source/luxc/lang/analysis/primitive.lux
index c7f7243fd..bb1762f46 100644
--- a/new-luxc/source/luxc/lang/analysis/primitive.lux
+++ b/new-luxc/source/luxc/lang/analysis/primitive.lux
@@ -12,9 +12,7 @@
   [(def: #export (<name> value)
      (-> <type> (Meta Analysis))
      (do meta;Monad<Meta>
-       [expected meta;expected-type
-        _ (&;with-type-env
-            (tc;check expected <type>))]
+       [_ (&;infer <type>)]
        (wrap (<tag> value))))]
 
   [analyse-bool Bool code;bool]
@@ -28,7 +26,5 @@
 (def: #export analyse-unit
   (Meta Analysis)
   (do meta;Monad<Meta>
-    [expected meta;expected-type
-     _ (&;with-type-env
-         (tc;check expected Unit))]
+    [_ (&;infer Unit)]
     (wrap (` []))))
-- 
cgit v1.2.3