aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/lang/init.lux
diff options
context:
space:
mode:
Diffstat (limited to 'new-luxc/source/luxc/lang/init.lux')
-rw-r--r--new-luxc/source/luxc/lang/init.lux53
1 files changed, 0 insertions, 53 deletions
diff --git a/new-luxc/source/luxc/lang/init.lux b/new-luxc/source/luxc/lang/init.lux
deleted file mode 100644
index da8fc9c07..000000000
--- a/new-luxc/source/luxc/lang/init.lux
+++ /dev/null
@@ -1,53 +0,0 @@
-(.module:
- lux
- [//]
- (// [".L" extension]
- (extension [".E" analysis]
- [".E" synthesis]
- [".E" translation]
- [".E" statement])
- (translation (jvm [".T" common]))))
-
-(def: #export (cursor file)
- (-> Text Cursor)
- [file +1 +0])
-
-(def: #export (source file code)
- (-> Text Text Source)
- [(cursor file) +0 code])
-
-(def: dummy-source
- Source
- [.dummy-cursor +0 ""])
-
-(def: #export type-context
- Type-Context
- {#.ex-counter +0
- #.var-counter +0
- #.var-bindings (list)})
-
-(def: #export info
- Info
- {#.target (for {"JVM" "JVM"
- "JS" "JS"})
- #.version //.version
- #.mode #.Build})
-
-(def: #export (compiler host)
- (-> Top Lux)
- {#.info ..info
- #.source dummy-source
- #.cursor .dummy-cursor
- #.current-module #.None
- #.modules (list)
- #.scopes (list)
- #.type-context ..type-context
- #.expected #.None
- #.seed +0
- #.scope-type-vars (list)
- #.extensions (:! Bottom
- {#extensionL.analysis analysisE.defaults
- #extensionL.synthesis synthesisE.defaults
- #extensionL.translation translationE.defaults
- #extensionL.statement statementE.defaults})
- #.host (:! Bottom host)})