diff options
author | Eduardo Julian | 2018-07-21 00:49:34 -0400 |
---|---|---|
committer | Eduardo Julian | 2018-07-21 00:49:34 -0400 |
commit | e550029ac3ca8eecade4705020b9cf24312227f5 (patch) | |
tree | 1762f0a77dfb73989f5ddb92f470e4dd58385b32 /stdlib/source/lux/type/refinement.lux | |
parent | 47890ee876d2a33d9d7d1c559912123359ab9f87 (diff) |
Moved "lux/language/type/*" to "lux/type/*".
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/lux/type/refinement.lux | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/stdlib/source/lux/type/refinement.lux b/stdlib/source/lux/type/refinement.lux index 670a3101e..dd8664236 100644 --- a/stdlib/source/lux/type/refinement.lux +++ b/stdlib/source/lux/type/refinement.lux @@ -6,9 +6,7 @@ ["p" parser]] [data ["e" error (#+ Error)]] - [language - ["." type ("type/." Equivalence<Type>)]] - [type + ["." type ("type/." Equivalence<Type>) abstract] ["." macro ["s" syntax (#+ syntax:)] |