aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/analysis/function.lux')
-rw-r--r--stdlib/source/lux/tool/compiler/phase/analysis/function.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/tool/compiler/phase/analysis/function.lux b/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
index 76effa0dc..5e5e26b85 100644
--- a/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
+++ b/stdlib/source/lux/tool/compiler/phase/analysis/function.lux
@@ -7,7 +7,7 @@
[data
["." maybe]
["." text
- format]
+ ["%" format (#+ format)]]
[collection
["." list ("#@." fold monoid monad)]]]
["." type
@@ -23,18 +23,18 @@
["/" analysis (#+ Analysis Operation Phase)]]]])
(exception: #export (cannot-analyse {expected Type} {function Text} {argument Text} {body Code})
- (ex.report ["Type" (%type expected)]
+ (ex.report ["Type" (%.type expected)]
["Function" function]
["Argument" argument]
- ["Body" (%code body)]))
+ ["Body" (%.code body)]))
(exception: #export (cannot-apply {functionT Type} {functionC Code} {arguments (List Code)})
- (ex.report ["Function type" (%type functionT)]
- ["Function" (%code functionC)]
+ (ex.report ["Function type" (%.type functionT)]
+ ["Function" (%.code functionC)]
["Arguments" (|> arguments
list.enumerate
(list@map (.function (_ [idx argC])
- (format (%n idx) " " (%code argC))))
+ (format (%.nat idx) " " (%.code argC))))
(text.join-with text.new-line))]))
(def: #export (function analyse function-name arg-name body)