diff options
author | Eduardo Julian | 2022-07-30 23:13:24 -0400 |
---|---|---|
committer | Eduardo Julian | 2022-07-30 23:13:24 -0400 |
commit | 6ec8f5d2f6cbf8db45f91e5c4b48c6ec17659f72 (patch) | |
tree | 4af1db76b4aec333114f236bc88b9ccddc643e26 /stdlib/source/documentation/lux/meta/type/dynamic.lux | |
parent | 2d125c27e1ceb0adc14fd82f6984b70a12eda650 (diff) |
Extracted test-tallying machinery into its own module.
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/documentation/lux/meta/type/dynamic.lux | 37 |
1 files changed, 19 insertions, 18 deletions
diff --git a/stdlib/source/documentation/lux/meta/type/dynamic.lux b/stdlib/source/documentation/lux/meta/type/dynamic.lux index 596bbb610..af54272d6 100644 --- a/stdlib/source/documentation/lux/meta/type/dynamic.lux +++ b/stdlib/source/documentation/lux/meta/type/dynamic.lux @@ -1,6 +1,6 @@ (.require [library - [lux (.except static) + [lux (.except) ["$" documentation] [data ["[0]" text (.only \n) @@ -8,23 +8,24 @@ [\\library ["[0]" /]]) -(.def .public documentation - (.List $.Module) - ($.module /._ - "" - [($.definition /.wrong_type) - ($.definition /.format) +(def .public documentation + (List $.Documentation) + (list ($.module /._ + "") - ($.definition /.Dynamic - "A value coupled with its type, so it can be checked later.") + ($.definition /.wrong_type) + ($.definition /.format) - ($.definition /.dynamic - "" - [(is Dynamic - (dynamic 123))]) + ($.definition /.Dynamic + "A value coupled with its type, so it can be checked later.") - ($.definition /.static - "" - [(is (try.Try Nat) - (static Nat (dynamic 123)))])] - [])) + ($.definition /.dynamic + "" + [(is Dynamic + (dynamic 123))]) + + ($.definition /.static + "" + [(is (try.Try Nat) + (static Nat (dynamic 123)))]) + )) |