diff options
author | Eduardo Julian | 2021-09-14 01:39:53 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-09-14 01:39:53 -0400 |
commit | bca1a9cdcf837e184378d5e6339a969e40d1dbab (patch) | |
tree | bdc85e9a635f7d6bc27de5f34de924504845806f /stdlib/source/test/lux/type/check.lux | |
parent | 0797dfc9ebb32e5eb324eec58e1e4b1c99895ce7 (diff) |
Re-named "name_of" to "symbol".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/test/lux/type/check.lux | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/stdlib/source/test/lux/type/check.lux b/stdlib/source/test/lux/type/check.lux index c4d14054e..cd4fc5426 100644 --- a/stdlib/source/test/lux/type/check.lux +++ b/stdlib/source/test/lux/type/check.lux @@ -1,6 +1,6 @@ (.module: [library - [lux {"-" type} + [lux {"-" type symbol} ["_" test {"+" Test}] ["[0]" type ("[1]#[0]" equivalence)] [abstract |