diff options
author | Eduardo Julian | 2019-03-12 23:24:41 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-03-12 23:24:41 -0400 |
commit | fafed063904d6ca7bfa3d9c4ba4b8d44e7b97549 (patch) | |
tree | 3b8408bbdb29a0ffa8e60e2b92ac893937ea9cdb /stdlib/source/test | |
parent | 62cfd42fad011880491c937e3cb33c19febd3af4 (diff) |
Re-named ":extract" to ":by-example".
Diffstat (limited to 'stdlib/source/test')
-rw-r--r-- | stdlib/source/test/lux/type.lux | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/stdlib/source/test/lux/type.lux b/stdlib/source/test/lux/type.lux index c7daced97..b9a6f09e4 100644 --- a/stdlib/source/test/lux/type.lux +++ b/stdlib/source/test/lux/type.lux @@ -173,6 +173,6 @@ (let [example (: (Maybe Nat) #.Nonae)] (type/= (type (List Nat)) - (:extract [a] - {(Maybe a) example} - (List a)))))) + (:by-example [a] + {(Maybe a) example} + (List a)))))) |