From 14e96f5e5dad439383d63e60a52169cc2e7aaa5c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 20 May 2018 21:04:03 -0400
Subject: - Re-named "Top" to "Any", and "Bottom" to "Nothing". - Removed some
 modules that should have been deleted before.

---
 new-luxc/source/luxc/lang/init.lux | 53 --------------------------------------
 1 file changed, 53 deletions(-)
 delete mode 100644 new-luxc/source/luxc/lang/init.lux

(limited to 'new-luxc/source/luxc/lang/init.lux')

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)})
-- 
cgit v1.2.3