From 7d539a83fd55f7ced7657302054e099955b55ae2 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 18 Apr 2018 01:28:24 -0400 Subject: - Initial Scheme back-end implementation. --- .../luxc/lang/translation/scheme/primitive.jvm.lux | 30 ++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 new-luxc/source/luxc/lang/translation/scheme/primitive.jvm.lux (limited to 'new-luxc/source/luxc/lang/translation/scheme/primitive.jvm.lux') diff --git a/new-luxc/source/luxc/lang/translation/scheme/primitive.jvm.lux b/new-luxc/source/luxc/lang/translation/scheme/primitive.jvm.lux new file mode 100644 index 000000000..c7043eeb7 --- /dev/null +++ b/new-luxc/source/luxc/lang/translation/scheme/primitive.jvm.lux @@ -0,0 +1,30 @@ +(.module: + lux + (lux [macro "meta/" Monad]) + (luxc (lang (host [scheme #+ Expression]))) + [//] + (// [".T" runtime])) + +(def: #export translate-bool + (-> Bool (Meta Expression)) + (|>> scheme.bool meta/wrap)) + +(def: #export translate-int + (-> Int (Meta Expression)) + (|>> scheme.int meta/wrap)) + +(def: #export translate-nat + (-> Nat (Meta Expression)) + (|>> (:! Int) scheme.int meta/wrap)) + +(def: #export translate-deg + (-> Deg (Meta Expression)) + (|>> (:! Int) scheme.int meta/wrap)) + +(def: #export translate-frac + (-> Frac (Meta Expression)) + (|>> scheme.float meta/wrap)) + +(def: #export translate-text + (-> Text (Meta Expression)) + (|>> scheme.string meta/wrap)) -- cgit v1.2.3