diff options
Diffstat (limited to 'stdlib/source/lux/type/check.lux')
-rw-r--r-- | stdlib/source/lux/type/check.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/lux/type/check.lux b/stdlib/source/lux/type/check.lux index 98a463948..7ca34e7de 100644 --- a/stdlib/source/lux/type/check.lux +++ b/stdlib/source/lux/type/check.lux @@ -34,19 +34,19 @@ (exception: #export (invalid-type-application {funcT Type} {argT Type}) (exception.report - ["Type function" (//.to-text funcT)] - ["Type argument" (//.to-text argT)])) + ["Type function" (//.format funcT)] + ["Type argument" (//.format argT)])) (exception: #export (cannot-rebind-var {id Nat} {type Type} {bound Type}) (exception.report ["Var" (n@encode id)] - ["Wanted Type" (//.to-text type)] - ["Current Type" (//.to-text bound)])) + ["Wanted Type" (//.format type)] + ["Current Type" (//.format bound)])) (exception: #export (type-check-failed {expected Type} {actual Type}) (exception.report - ["Expected" (//.to-text expected)] - ["Actual" (//.to-text actual)])) + ["Expected" (//.format expected)] + ["Actual" (//.format actual)])) (type: #export Var Nat) |