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/procedure/host.jvm.lux | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux') diff --git a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux b/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux index 8f5382d2b..827f3213d 100644 --- a/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux +++ b/new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux @@ -16,8 +16,8 @@ [dict #+ Dict])) [meta "meta/" Monad] (meta [code] - ["s" syntax] - [type] + ["s" syntax]) + (lang [type] (type ["tc" check])) [host]) (luxc ["&" lang] -- cgit v1.2.3