diff options
| author | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-11-15 22:04:44 -0400 |
| commit | 53ccae1625d46cf57247b9fb1cb9f4c28b0a0ad4 (patch) | |
| tree | 84154fb7a50286cd64a919c8698581c9260ff09d /new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux | |
| parent | 360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff) | |
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to '')
| -rw-r--r-- | new-luxc/source/luxc/lang/analysis/procedure/host.jvm.lux | 4 |
1 files changed, 2 insertions, 2 deletions
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>] (meta [code] - ["s" syntax] - [type] + ["s" syntax]) + (lang [type] (type ["tc" check])) [host]) (luxc ["&" lang] |