aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux/lang/init.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux/lang/init.lux47
1 files changed, 25 insertions, 22 deletions
diff --git a/stdlib/source/lux/lang/init.lux b/stdlib/source/lux/lang/init.lux
index 8d4fdf981..9c909942e 100644
--- a/stdlib/source/lux/lang/init.lux
+++ b/stdlib/source/lux/lang/init.lux
@@ -1,6 +1,7 @@
(.module:
lux
- (// [".L" extension]
+ (// ["//." target]
+ [".L" extension]
(extension [".E" analysis]
## [".E" synthesis]
## [".E" translation]
@@ -25,20 +26,23 @@
#.var-counter +0
#.var-bindings (list)})
-(def: #export version Text "0.6.0")
-
-(def: #export info
- Info
- {#.target (for {"JVM" "JVM"
- "JS" "JS"
- "Lua" "Lua"
- "Python" "Python"
- "Ruby" "Ruby"
- "PHP" "PHP"
- "Scheme" "Scheme"
- "Common Lisp" "Common Lisp"})
- #.version ..version
- #.mode #.Build})
+(type: #export Version Text)
+
+(def: #export version Version "0.6.0")
+
+(`` (def: #export info
+ Info
+ {#.target (for {(~~ (static //target.common-lisp)) //target.common-lisp
+ (~~ (static //target.js)) //target.js
+ (~~ (static //target.jvm)) //target.jvm
+ (~~ (static //target.lua)) //target.lua
+ (~~ (static //target.php)) //target.php
+ (~~ (static //target.python)) //target.python
+ (~~ (static //target.r)) //target.r
+ (~~ (static //target.ruby)) //target.ruby
+ (~~ (static //target.scheme)) //target.scheme})
+ #.version ..version
+ #.mode #.Build}))
(def: #export (compiler host)
(-> Any Lux)
@@ -52,10 +56,9 @@
#.expected #.None
#.seed +0
#.scope-type-vars (list)
- #.extensions (:! Nothing
- {#extensionL.analysis analysisE.defaults
- #extensionL.synthesis (:!! []) ## synthesisE.defaults
- #extensionL.translation (:!! []) ## translationE.defaults
- #extensionL.statement (:!! []) ## statementE.defaults
- })
- #.host (:! Nothing host)})
+ #.extensions {#extensionL.analysis analysisE.defaults
+ #extensionL.synthesis (:!! []) ## synthesisE.defaults
+ #extensionL.translation (:!! []) ## translationE.defaults
+ #extensionL.statement (:!! []) ## statementE.defaults
+ }
+ #.host host})