From 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 15 Nov 2017 22:04:44 -0400 Subject: - Moved "/type" and "/type/check" from "lux/meta" to "lux/lang". --- new-luxc/source/luxc/lang/analysis/inference.lux | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'new-luxc/source/luxc/lang/analysis/inference.lux') diff --git a/new-luxc/source/luxc/lang/analysis/inference.lux b/new-luxc/source/luxc/lang/analysis/inference.lux index cccaa774a..910d5093a 100644 --- a/new-luxc/source/luxc/lang/analysis/inference.lux +++ b/new-luxc/source/luxc/lang/analysis/inference.lux @@ -7,7 +7,7 @@ text/format (coll [list "list/" Functor])) [meta "meta/" Monad] - (meta [type] + (lang [type] (type ["tc" check]))) (luxc ["&" lang] (lang ["la" analysis #+ Analysis] -- cgit v1.2.3