diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux.lux | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 1043560c9..5b6a2ba6e 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -276,10 +276,11 @@ ... (type: .public Code ... (Ann Location (Code' (Ann Location)))) ("lux def" Code - (#Named ["library/lux" "Code"] - ({w - (#Apply (#Apply w Code') w)} - ("lux type check type" (#Apply Location Ann)))) + ("lux type check type" + (#Named ["library/lux" "Code"] + ({w + (#Apply (#Apply w Code') w)} + ("lux type check type" (#Apply Location Ann))))) [dummy_location (#Record #End)] #1) |