diff options
| author | Eduardo Julian | 2022-12-22 15:51:13 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-12-22 15:51:13 -0400 |
| commit | 4f4a96635abb04239102e4b72dc2a9c6f678dcd2 (patch) | |
| tree | 0c42c6c802b6f8f6742b61c4bced1906edfeea81 /stdlib/source/test/lux.lux | |
| parent | 240a4465157bb903dd2a3ee4cdc28aadf09f8dcb (diff) | |
Now showing stack-traces for runtime exceptions in Ruby.
Diffstat (limited to 'stdlib/source/test/lux.lux')
| -rw-r--r-- | stdlib/source/test/lux.lux | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/stdlib/source/test/lux.lux b/stdlib/source/test/lux.lux index 068727e9f..bda6c17fc 100644 --- a/stdlib/source/test/lux.lux +++ b/stdlib/source/test/lux.lux @@ -6,6 +6,7 @@ [monad (.only do)]] [control ["[0]" io] + ["[0]" try] ["[0]" maybe (.use "[1]#[0]" functor)] [concurrency ["[0]" atom (.only Atom)]]] @@ -567,7 +568,8 @@ .let [existential_type (of ! each (|>> {.#Ex}) random.nat)] expected/0 existential_type expected/1 existential_type] - (<| (_.for [/.Type]) + (<| (_.for [/.Type + /.#Nominal /.#Sum /.#Product /.#Function /.#Parameter /.#Var /.#Ex /.#UnivQ /.#ExQ /.#Apply /.#Named]) (all _.and (_.coverage [/.is] (|> expected |