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 /stdlib/source/lux/lang | |
| parent | 360c8f0cd43452d4a47cdd2002625143b96df6c8 (diff) | |
- Moved "/type" and "/type/check" from "lux/meta" to "lux/lang".
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/lang/type.lux (renamed from stdlib/source/lux/meta/type.lux) | 0 | ||||
| -rw-r--r-- | stdlib/source/lux/lang/type/check.lux (renamed from stdlib/source/lux/meta/type/check.lux) | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/lux/meta/type.lux b/stdlib/source/lux/lang/type.lux index 9d6ed5162..9d6ed5162 100644 --- a/stdlib/source/lux/meta/type.lux +++ b/stdlib/source/lux/lang/type.lux diff --git a/stdlib/source/lux/meta/type/check.lux b/stdlib/source/lux/lang/type/check.lux index 91e8f3bdf..cbf31ac08 100644 --- a/stdlib/source/lux/meta/type/check.lux +++ b/stdlib/source/lux/lang/type/check.lux @@ -11,7 +11,7 @@ (coll [list] [set #+ Set]) ["e" error]) - (meta [type "type/" Eq<Type>]) + (lang [type "type/" Eq<Type>]) )) (exception: #export Unknown-Type-Var) |