From aac5a7796939cd705d955acb616cbff38474606d Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Tue, 3 Jul 2018 19:49:04 -0400 Subject: - Re-named "@abstraction" to ":abstraction" and "@representation" to ":representation". --- new-luxc/source/luxc/lang/host/common-lisp.lux | 40 +++++++++++++------------- 1 file changed, 20 insertions(+), 20 deletions(-) (limited to 'new-luxc/source/luxc/lang/host/common-lisp.lux') diff --git a/new-luxc/source/luxc/lang/host/common-lisp.lux b/new-luxc/source/luxc/lang/host/common-lisp.lux index 3ba69314d..108f69e27 100644 --- a/new-luxc/source/luxc/lang/host/common-lisp.lux +++ b/new-luxc/source/luxc/lang/host/common-lisp.lux @@ -16,18 +16,18 @@ Text - (def: name (All [k] (-> (Var k) Text)) (|>> @representation)) + (def: name (All [k] (-> (Var k) Text)) (|>> :representation)) - (def: #export var (-> Text (Var Single)) (|>> @abstraction)) + (def: #export var (-> Text (Var Single)) (|>> :abstraction)) (def: #export (poly vars) (-> (List (Var Single)) (Var Poly)) - (@abstraction + (:abstraction (format "(" (|> vars (list/map ..name) (text.join-with " ")) ")"))) (def: #export (poly+ vars rest) (-> (List (Var Single)) (Var Single) (Var Poly)) - (@abstraction + (:abstraction (format "(" (|> vars (list/map ..name) (text.join-with " ")) " &rest " (..name rest) ")"))) @@ -42,24 +42,24 @@ Text - (def: #export expression (-> Expression Text) (|>> @representation)) + (def: #export expression (-> Expression Text) (|>> :representation)) - (def: #export code (-> Text Expression) (|>> @abstraction)) + (def: #export code (-> Text Expression) (|>> :abstraction)) (type: #export Lambda [PVar Expression]) (def: #export nil Expression - (@abstraction "()")) + (:abstraction "()")) (def: #export bool (-> Bool Expression) - (|>> (case> true (@abstraction "t") + (|>> (case> true (:abstraction "t") false ..nil))) (def: #export int (-> Int Expression) - (|>> %i @abstraction)) + (|>> %i :abstraction)) (def: #export float (-> Frac Expression) @@ -74,11 +74,11 @@ ## else [%f]) - @abstraction)) + :abstraction)) (def: #export (double value) (-> Frac Expression) - (@abstraction + (:abstraction (.cond (f/= number.positive-infinity value) "(/ 1.0d0 0.0d0)" @@ -100,24 +100,24 @@ (def: #export string (-> Text Expression) - (|>> %t @abstraction)) + (|>> %t :abstraction)) (do-template [ ] [(def: #export (-> Text Expression) - (|>> (format ) @abstraction))] + (|>> (format ) :abstraction))] [symbol "'"] [keyword ":"]) (def: #export (form elements) (-> (List Expression) Expression) - (@abstraction + (:abstraction (format "(" (|> elements (list/map expression) (text.join-with " ")) ")"))) (def: #export @@ (All [k] (-> (Var k) Expression)) - (|>> ..name @abstraction)) + (|>> ..name :abstraction)) (def: #export global (-> Text Expression) @@ -350,15 +350,15 @@ expression (#.Cons single #.Nil) - (@abstraction - (format single " " (@representation expression))) + (:abstraction + (format single " " (:representation expression))) _ - (@abstraction + (:abstraction (format (|> conditions (list/map ..symbol) (.list& (..symbol "or")) ..form - @representation) - " " (@representation expression)))))] + :representation) + " " (:representation expression)))))] [conditional+ "#+"] [conditional- "#-"]) -- cgit v1.2.3