diff options
Diffstat (limited to 'stdlib/source/lux/tool/compiler/phase/analysis/function.lux')
-rw-r--r-- | stdlib/source/lux/tool/compiler/phase/analysis/function.lux | 12 |
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) |