aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/documentation/lux/debug.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/documentation/lux/debug.lux38
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/documentation/lux/debug.lux b/stdlib/source/documentation/lux/debug.lux
index f50793f14..f40a14bde 100644
--- a/stdlib/source/documentation/lux/debug.lux
+++ b/stdlib/source/documentation/lux/debug.lux
@@ -1,14 +1,14 @@
(.using
- [library
- [lux {"-" private}
- ["$" documentation {"+" documentation:}]
- [data
- ["[0]" text {"+" \n}
- ["%" format {"+" format}]]]
- [macro
- ["[0]" template]]]]
- [\\library
- ["[0]" /]])
+ [library
+ [lux {"-" private}
+ ["$" documentation {"+" documentation:}]
+ [data
+ ["[0]" text {"+" \n}
+ ["%" format {"+" format}]]]
+ [macro
+ ["[0]" template]]]]
+ [\\library
+ ["[0]" /]])
(documentation: /.inspection
"A best-effort attempt to generate a textual representation of a value, without knowing its type."
@@ -31,12 +31,12 @@
"Prints/writes a message to standard output."
[(log! message)])
-(documentation: /.:hole
+(documentation: /.hole
(format "A typed 'hole'."
\n "Reveals the type expected of the expression that should go in the hole.")
- [(: (-> Nat Text)
- (function (_ number)
- (:hole)))
+ [(is (-> Nat Text)
+ (function (_ number)
+ (hole)))
"=>"
.Text])
@@ -45,8 +45,8 @@
[(let [foo 123
bar +456
baz +789.0]
- (: Any
- (here)))
+ (is Any
+ (here)))
"=>"
"foo: +123"
"bar: +456"
@@ -57,8 +57,8 @@
(let [foo 123
bar +456
baz +789.0]
- (: Any
- (here [foo %.nat] baz)))
+ (is Any
+ (here [foo %.nat] baz)))
"=>"
"foo: 123"
"baz: +789.0"
@@ -72,7 +72,7 @@
..representation
..private
..log!
- ..:hole
+ ..hole
..here
($.default /.cannot_represent_value)
($.default /.type_hole)