diff options
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)))))) |