From f2937706edb6887c5eb1a6a0b6668b1334f5ef3b Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Thu, 11 Apr 2019 22:30:05 -0400 Subject: WIP: Lua compiler. --- .../lang/translation/lua/procedure/common.jvm.lux | 374 --------------------- .../lang/translation/lua/procedure/host.jvm.lux | 87 ----- 2 files changed, 461 deletions(-) delete mode 100644 new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux delete mode 100644 new-luxc/source/luxc/lang/translation/lua/procedure/host.jvm.lux (limited to 'new-luxc/source/luxc/lang/translation/lua/procedure') diff --git a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux deleted file mode 100644 index 2f1b652e3..000000000 --- a/new-luxc/source/luxc/lang/translation/lua/procedure/common.jvm.lux +++ /dev/null @@ -1,374 +0,0 @@ -(.module: - lux - (lux (control [monad #+ do] - ["ex" exception #+ exception:] - ["p" parser]) - (data ["e" error] - [text] - text/format - (coll [list "list/" Functor] - (dictionary ["dict" unordered #+ Dict]))) - [macro #+ with-gensyms] - (macro [code] - ["s" syntax #+ syntax:]) - [host]) - (luxc ["&" lang] - (lang ["la" analysis] - ["ls" synthesis] - (host [lua #+ Lua Expression Statement]))) - [///] - (/// [".T" runtime] - [".T" case] - [".T" function] - [".T" loop])) - -## [Types] -(type: #export Translator - (-> ls.Synthesis (Meta Expression))) - -(type: #export Proc - (-> Translator (List ls.Synthesis) (Meta Expression))) - -(type: #export Bundle - (Dict Text Proc)) - -(syntax: (Vector {size s.nat} elemT) - (wrap (list (` [(~+ (list.repeat size elemT))])))) - -(type: #export Nullary (-> (Vector +0 Expression) Expression)) -(type: #export Unary (-> (Vector +1 Expression) Expression)) -(type: #export Binary (-> (Vector +2 Expression) Expression)) -(type: #export Trinary (-> (Vector +3 Expression) Expression)) -(type: #export Variadic (-> (List Expression) Expression)) - -## [Utils] -(def: #export (install name unnamed) - (-> Text (-> Text Proc) - (-> Bundle Bundle)) - (dict.put name (unnamed name))) - -(def: #export (prefix prefix bundle) - (-> Text Bundle Bundle) - (|> bundle - dict.entries - (list/map (function (_ [key val]) [(format prefix " " key) val])) - (dict.from-list text.Hash))) - -(def: (wrong-arity proc expected actual) - (-> Text Nat Nat Text) - (format "Wrong number of arguments for " (%t proc) "\n" - "Expected: " (|> expected .int %i) "\n" - " Actual: " (|> actual .int %i))) - -(syntax: (arity: {name s.local-identifier} {arity s.nat}) - (with-gensyms [g_ g!proc g!name g!translate g!inputs] - (do @ - [g!input+ (monad.seq @ (list.repeat arity (macro.gensym "input")))] - (wrap (list (` (def: #export ((~ (code.local-identifier name)) (~ g!proc)) - (-> (-> (..Vector (~ (code.nat arity)) Expression) Expression) - (-> Text ..Proc)) - (function ((~ g_ ) (~ g!name)) - (function ((~ g_ ) (~ g!translate) (~ g!inputs)) - (case (~ g!inputs) - (^ (list (~+ g!input+))) - (do macro.Monad - [(~+ (|> g!input+ - (list/map (function (_ g!input) - (list g!input (` ((~ g!translate) (~ g!input)))))) - list.concat))] - ((~' wrap) ((~ g!proc) [(~+ g!input+)]))) - - (~' _) - (macro.fail (wrong-arity (~ g!name) +1 (list.size (~ g!inputs)))))))))))))) - -(arity: nullary +0) -(arity: unary +1) -(arity: binary +2) -(arity: trinary +3) - -(def: #export (variadic proc) - (-> Variadic (-> Text Proc)) - (function (_ proc-name) - (function (_ translate inputsS) - (do macro.Monad - [inputsI (monad.map @ translate inputsS)] - (wrap (proc inputsI)))))) - -## [Procedures] -## [[Lux]] -(def: (lux//is [leftO rightO]) - Binary - (lua.= leftO rightO)) - -(def: (lux//if [testO thenO elseO]) - Trinary - (caseT.translate-if testO thenO elseO)) - -(def: (lux//try riskyO) - Unary - (runtimeT.lux//try riskyO)) - -(exception: #export (Wrong-Syntax {message Text}) - message) - -(def: #export (wrong-syntax procedure args) - (-> Text (List ls.Synthesis) Text) - (format "Procedure: " procedure "\n" - "Arguments: " (%code (code.tuple args)))) - -(def: lux//loop - (-> Text Proc) - (function (_ proc-name) - (function (_ translate inputsS) - (case (s.run inputsS ($_ p.seq s.nat (s.tuple (p.many s.any)) s.any)) - (#e.Success [offset initsS+ bodyS]) - (loopT.translate-loop translate offset initsS+ bodyS) - - (#e.Error error) - (&.throw Wrong-Syntax (wrong-syntax proc-name inputsS))) - ))) - -(def: lux//recur - (-> Text Proc) - (function (_ proc-name) - (function (_ translate inputsS) - (loopT.translate-recur translate inputsS)))) - -## [[Bits]] -(template [ ] - [(def: ( [subjectO paramO]) - Binary - ( paramO subjectO))] - - [bit//and lua.bit-and] - [bit//or lua.bit-or] - [bit//xor lua.bit-xor] - ) - -(template [ ] - [(def: ( [subjectO paramO]) - Binary - ( paramO subjectO))] - - [bit//left-shift lua.bit-shl] - [bit//arithmetic-right-shift lua.bit-shr] - [bit//logical-right-shift runtimeT.bit//logical-right-shift] - ) - -## [[Numbers]] -(host.import: java/lang/Double - (#static MIN_VALUE Double) - (#static MAX_VALUE Double) - (#static NaN Double) - (#static POSITIVE_INFINITY Double) - (#static NEGATIVE_INFINITY Double)) - -(template [ ] - [(def: ( _) - Nullary - ( ))] - - [frac//smallest Double::MIN_VALUE lua.float] - [frac//min (f/* -1.0 Double::MAX_VALUE) lua.float] - [frac//max Double::MAX_VALUE lua.float] - ) - -(template [ ] - [(def: ( [subjectO paramO]) - Binary - ( paramO subjectO))] - - [int//add lua.+] - [int//sub lua.-] - [int//mul lua.*] - [int//div lua.//] - [int//rem lua.%] - ) - -(template [ ] - [(def: ( [subjectO paramO]) - Binary - ( paramO subjectO))] - - [frac//add lua.+] - [frac//sub lua.-] - [frac//mul lua.*] - [frac//div lua./] - [frac//rem lua.%] - [frac//= lua.=] - [frac//< lua.<] - - [text//= lua.=] - [text//< lua.<] - ) - -(template [ ] - [(def: ( [subjectO paramO]) - Binary - ( paramO subjectO))] - - [int//= lua.=] - [int//< lua.<] - ) - -(def: frac//encode - Unary - (|>> (list) (lua.apply "tostring"))) - -(def: (frac//decode inputO) - Unary - (lux//try (lua.function (list) - (lua.return! (lua.apply "tonumber" (list inputO)))))) - -(template [ ] - [(def: ( inputO) - Unary - (lua./ inputO))] - - [int//to-frac (lua.float 1.0)] - ) - -(template [ ] - [(def: ( inputO) - Unary - (|> inputO ))] - - [frac//to-int (<| (lua.apply "math.floor") (list))] - ) - -(def: int//char - Unary - (|>> (list) (lua.apply "string.char"))) - -## [[Text]] -(template [ ] - [(def: - Unary - (|>> (list) (lua.apply )))] - - [text//size "string.len"] - ) - -(def: (text//concat [subjectO paramO]) - Binary - (format "(" subjectO " .. " paramO ")")) - -(def: (text//char [subjectO paramO]) - Binary - (runtimeT.text//char subjectO paramO)) - -(template [ ] - [(def: ( [subjectO paramO extraO]) - Trinary - ( subjectO paramO extraO))] - - [text//clip runtimeT.text//clip] - [text//index runtimeT.text//index] - ) - -## [[IO]] -(def: (io//log messageO) - Unary - (lua.or (lua.apply "print" (list messageO)) - runtimeT.unit)) - -(def: io//error - Unary - lua.error) - -(def: io//exit - Unary - (|>> (list) (lua.apply "os.exit"))) - -(def: (io//current-time []) - Nullary - (|> (lua.apply "os.time" (list)) - (lua.* (lua.int 1,000)))) - -## [Bundles] -(def: lux-procs - Bundle - (|> (dict.new text.Hash) - (install "is" (binary lux//is)) - (install "try" (unary lux//try)) - (install "if" (trinary lux//if)) - (install "loop" lux//loop) - (install "recur" lux//recur) - )) - -(def: bit-procs - Bundle - (<| (prefix "bit") - (|> (dict.new text.Hash) - (install "and" (binary bit//and)) - (install "or" (binary bit//or)) - (install "xor" (binary bit//xor)) - (install "left-shift" (binary bit//left-shift)) - (install "logical-right-shift" (binary bit//logical-right-shift)) - (install "arithmetic-right-shift" (binary bit//arithmetic-right-shift)) - ))) - -(def: int-procs - Bundle - (<| (prefix "int") - (|> (dict.new text.Hash) - (install "+" (binary int//add)) - (install "-" (binary int//sub)) - (install "*" (binary int//mul)) - (install "/" (binary int//div)) - (install "%" (binary int//rem)) - (install "=" (binary int//=)) - (install "<" (binary int//<)) - (install "to-frac" (unary int//to-frac)) - (install "char" (unary int//char))))) - -(def: frac-procs - Bundle - (<| (prefix "frac") - (|> (dict.new text.Hash) - (install "+" (binary frac//add)) - (install "-" (binary frac//sub)) - (install "*" (binary frac//mul)) - (install "/" (binary frac//div)) - (install "%" (binary frac//rem)) - (install "=" (binary frac//=)) - (install "<" (binary frac//<)) - (install "smallest" (nullary frac//smallest)) - (install "min" (nullary frac//min)) - (install "max" (nullary frac//max)) - (install "to-int" (unary frac//to-int)) - (install "encode" (unary frac//encode)) - (install "decode" (unary frac//decode))))) - -(def: text-procs - Bundle - (<| (prefix "text") - (|> (dict.new text.Hash) - (install "=" (binary text//=)) - (install "<" (binary text//<)) - (install "concat" (binary text//concat)) - (install "index" (trinary text//index)) - (install "size" (unary text//size)) - (install "char" (binary text//char)) - (install "clip" (trinary text//clip)) - ))) - -(def: io-procs - Bundle - (<| (prefix "io") - (|> (dict.new text.Hash) - (install "log" (unary io//log)) - (install "error" (unary io//error)) - (install "exit" (unary io//exit)) - (install "current-time" (nullary io//current-time))))) - -(def: #export procedures - Bundle - (<| (prefix "lux") - (|> lux-procs - (dict.merge bit-procs) - (dict.merge int-procs) - (dict.merge frac-procs) - (dict.merge text-procs) - (dict.merge io-procs) - ))) diff --git a/new-luxc/source/luxc/lang/translation/lua/procedure/host.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/procedure/host.jvm.lux deleted file mode 100644 index f53f3ba05..000000000 --- a/new-luxc/source/luxc/lang/translation/lua/procedure/host.jvm.lux +++ /dev/null @@ -1,87 +0,0 @@ -(.module: - lux - (lux (control [monad #+ do]) - (data [text] - text/format - (coll [list "list/" Functor] - (dictionary ["dict" unordered #+ Dict]))) - [macro "macro/" Monad]) - (luxc ["&" lang] - (lang ["la" analysis] - ["ls" synthesis] - (host [lua #+ Lua Expression Statement]))) - [///] - (/// [".T" runtime]) - (// ["@" common])) - -(template [ ] - [(def: ( _) @.Nullary )] - - [lua//nil "nil"] - [lua//table "{}"] - ) - -(def: (lua//global proc translate inputs) - (-> Text @.Proc) - (case inputs - (^ (list [_ (#.Text name)])) - (do macro.Monad - [] - (wrap name)) - - _ - (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs)))) - -(def: (lua//call proc translate inputs) - (-> Text @.Proc) - (case inputs - (^ (list& functionS argsS+)) - (do macro.Monad - [functionO (translate functionS) - argsO+ (monad.map @ translate argsS+)] - (wrap (lua.apply functionO argsO+))) - - _ - (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs)))) - -(def: lua-procs - @.Bundle - (|> (dict.new text.Hash) - (@.install "nil" (@.nullary lua//nil)) - (@.install "table" (@.nullary lua//table)) - (@.install "global" lua//global) - (@.install "call" lua//call))) - -(def: (table//call proc translate inputs) - (-> Text @.Proc) - (case inputs - (^ (list& tableS [_ (#.Text field)] argsS+)) - (do macro.Monad - [tableO (translate tableS) - argsO+ (monad.map @ translate argsS+)] - (wrap (lua.method field tableO argsO+))) - - _ - (&.throw @.Wrong-Syntax (@.wrong-syntax proc inputs)))) - -(def: (table//get [fieldO tableO]) - @.Binary - (runtimeT.lua//get tableO fieldO)) - -(def: (table//set [fieldO valueO tableO]) - @.Trinary - (runtimeT.lua//set tableO fieldO valueO)) - -(def: table-procs - @.Bundle - (<| (@.prefix "table") - (|> (dict.new text.Hash) - (@.install "call" table//call) - (@.install "get" (@.binary table//get)) - (@.install "set" (@.trinary table//set))))) - -(def: #export procedures - @.Bundle - (<| (@.prefix "lua") - (|> lua-procs - (dict.merge table-procs)))) -- cgit v1.2.3