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/translation.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/translation.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/new-luxc/source/luxc/lang/translation.lux b/new-luxc/source/luxc/lang/translation.lux index 88fc25d3a..1e631205d 100644 --- a/new-luxc/source/luxc/lang/translation.lux +++ b/new-luxc/source/luxc/lang/translation.lux @@ -8,8 +8,8 @@ text/format (coll [dict])) [meta] - (meta (type ["tc" check])) - (lang [syntax]) + (lang [syntax] + (type ["tc" check])) [host] [io] (world [file #+ File])) |