aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--new-luxc/source/luxc/cache.lux9
-rw-r--r--new-luxc/source/luxc/cache/influences.lux27
-rw-r--r--new-luxc/source/luxc/cache/io.lux214
3 files changed, 0 insertions, 250 deletions
diff --git a/new-luxc/source/luxc/cache.lux b/new-luxc/source/luxc/cache.lux
deleted file mode 100644
index 8be91fb35..000000000
--- a/new-luxc/source/luxc/cache.lux
+++ /dev/null
@@ -1,9 +0,0 @@
-(.module:
- lux
- (lux (data [text]
- (coll (dictionary ["dict" unordered #+ Dict])))))
-
-(type: #export Cache (Dict Text Module))
-(def: #export empty Cache (dict.new text.Hash<Text>))
-
-(def: #export descriptor-name Text "lux_module_descriptor")
diff --git a/new-luxc/source/luxc/cache/influences.lux b/new-luxc/source/luxc/cache/influences.lux
deleted file mode 100644
index bbddd79aa..000000000
--- a/new-luxc/source/luxc/cache/influences.lux
+++ /dev/null
@@ -1,27 +0,0 @@
-(.module:
- lux
- (lux (data [text]
- (coll [list "list/" Fold<List>]
- (dictionary ["dict" unordered #+ Dict])))))
-
-(type: #export Influences (Dict Text (List Text)))
-
-(def: #export (track to from)
- (-> Text Text Influences Influences)
- (|>> (dict.update~ from (list) (|>> (#.Cons to)))
- (dict.update~ to (list) id)))
-
-(def: (effluents module influences)
- (-> Text Influences (Maybe (List Text)))
- (dict.get module influences))
-
-(def: #export (untrack module influences)
- (-> Text Influences Influences)
- (case (effluents module influences)
- (#.Some effluents)
- (list/fold untrack (dict.remove module influences) effluents)
-
- #.None
- influences))
-
-(def: #export empty Influences (dict.new text.Hash<Text>))
diff --git a/new-luxc/source/luxc/cache/io.lux b/new-luxc/source/luxc/cache/io.lux
deleted file mode 100644
index 2d1f373d5..000000000
--- a/new-luxc/source/luxc/cache/io.lux
+++ /dev/null
@@ -1,214 +0,0 @@
-(.module:
- lux
- (lux (control [monad #+ do]
- ["ex" exception #+ exception:])
- (data [product]
- [maybe]
- ["e" error #+ Error]
- [bool "bool/" Eq<Bool>]
- [text "text/" Hash<Text>]
- text/format
- (coll [list "list/" Fold<List>]
- (dictionary ["dict" unordered #+ Dict])
- (set ["set" unordered #+ Set])))
- (lang [syntax #+ Aliases])
- [io #+ Process "process/" Monad<Process>]
- (concurrency [atom #+ Atom atom])
- (world [file #+ File]
- [blob #+ Blob]))
- [///io]
- [//description]
- [//influences]
- [//])
-
-(do-template [<name>]
- [(exception: #export (<name> {message Text})
- message)]
-
- [Module-Is-Not-Cached]
- [Cannot-Pre-Load-Cache-More-Than-Once]
- [Cannot-Delete-Cached-File]
- [Cannot-Load-Definition]
- )
-
-(def: cache
- (Atom //.Cache)
- (atom //.empty))
-
-(def: #export (load name)
- (-> Text (Process Module))
- (do io.Monad<IO>
- [cache (atom.read cache)]
- (case (dict.get name cache)
- (#.Some module)
- (process/wrap module)
-
- #.None
- (io.throw Module-Is-Not-Cached name))))
-
-(def: #export (cached target-dir)
- (-> File (Process (List File)))
- (do io.Monad<Process>
- [roots (file.files target-dir)
- root-modules (monad.map @ (: (-> File (Process (List File)))
- (function (recur file)
- (do @
- [is-dir? (file.directory? file)]
- (if is-dir?
- (do @
- [subs (file.files file)
- cached-subs (monad.map @ recur subs)]
- (wrap (list& (maybe.assume (///io.module target-dir file))
- (list.concat cached-subs))))
- (wrap (list))))))
- roots)]
- (wrap (list.concat root-modules))))
-
-(def: (delete file)
- (-> File (Process Any))
- (do io.Monad<Process>
- [deleted? (file.delete file)]
- (if deleted?
- (wrap [])
- (io.throw Cannot-Delete-Cached-File file))))
-
-(def: (un-install target-dir module-name)
- (-> File Text (Process Any))
- (do io.Monad<Process>
- [#let [module-dir (///io.file target-dir module-name)]
- files (file.files module-dir)
- can-delete-module-dir? (<| (:: @ map (list.every? (bool/= true)))
- (monad.map @ (function (_ file)
- (do @
- [? (file.directory? file)]
- (if ?
- (wrap false)
- (do @
- [_ (delete file)]
- (wrap true)))))
- files))]
- (if can-delete-module-dir?
- (delete module-dir)
- (wrap []))))
-
-(def: no-aliases Aliases (dict.new text.Hash<Text>))
-
-(def: (source description)
- (-> Text Source)
- [["" +1 +0] +0 description])
-
-(def: (load-module source-dirs target-dir module-name)
- (-> (List File) File Text (Process (List [Text Module])))
- (do io.Monad<Process>
- [#let [_ (log! (format "load-module #0: " module-name))]
- description (file.read (///io.file target-dir (format module-name "/" //.descriptor-name)))
- #let [_ (log! (format "load-module #1: " module-name))]]
- (case (do e.Monad<Error>
- [#let [_ (log! (format "load-module #1 #0: " module-name))]
- [_ description] (syntax.read "" no-aliases (source (///io.blob-to-text description)))
- #let [_ (log! (format "load-module #1 #1: " module-name))]]
- (//description.read description))
- (#e.Success [lux-file module])
- (do @
- [#let [_ (log! (format "load-module #2: " module-name " " lux-file))]
- [file-name current-source-code] (///io.read source-dirs module-name)
- #let [_ (log! (format "load-module #3: " module-name " " file-name))]]
- (if (and (text/= lux-file file-name)
- (n/= (get@ #.module-hash module)
- (text/hash current-source-code)))
- (wrap (list [module-name module]))
- (do @
- [_ (un-install target-dir module-name)]
- (wrap (list)))))
-
- (#e.Error error)
- (do @
- [#let [_ (log! "load-module #2 ERROR")]
- _ (un-install target-dir module-name)]
- (wrap (list))))))
-
-(type: Loader (-> Ident Blob (Error Any)))
-
-(def: (install target-dir load-def module-name module)
- (-> File Loader Text Module (Process Module))
- (do io.Monad<Process>
- [definitions (monad.map @ (: (-> [Text Definition] (Process [Text Definition]))
- (function (_ [def-name [def-type def-annotations _]])
- (do @
- [def-blob (file.read (///io.file target-dir (format module-name "/" def-name)))
- #let [def-ident [module-name def-name]]]
- (case (load-def def-ident def-blob)
- (#e.Success def-value)
- (wrap [def-name [def-type def-annotations def-value]])
-
- (#e.Error error)
- (io.throw Cannot-Load-Definition
- (format "Definition: " (%ident def-ident) "\n"
- " Error:\n" error "\n"))))))
- (get@ #.definitions module))]
- (wrap (set@ #.definitions definitions module))))
-
-(def: (pre-load' source-dirs target-dir load-def)
- (-> (List File) File Loader (Process //.Cache))
- (do io.Monad<Process>
- [#let [_ (log! "pre-load' #0")]
- cached (cached target-dir)
- #let [_ (log! (format "pre-load' #1 " (%list %t cached)))]
- candidate-cache (|> cached
- (monad.map @ (load-module source-dirs target-dir))
- (:: @ map (|>> list.concat
- (dict.from-list text.Hash<Text>))))
- #let [_ (log! "pre-load' #2")]
- #let [candidate-entries (dict.entries candidate-cache)
- raw-influences (list/fold (function (_ [candidate-name candidate-module] influences)
- (list/fold (//influences.track candidate-name)
- influences
- (get@ #.imports candidate-module)))
- //influences.empty
- candidate-entries)
- pruned-influences (list/fold (function (_ [candidate-name candidate-module] influences)
- (if (list.every? (function (_ module-name)
- (dict.contains? module-name candidate-cache))
- (get@ #.imports candidate-module))
- influences
- (//influences.untrack candidate-name influences)))
- raw-influences
- candidate-entries)
- valid-cache (list/fold (function (_ candidate cache)
- (if (dict.contains? candidate pruned-influences)
- cache
- (dict.remove candidate cache)))
- candidate-cache
- (dict.keys candidate-cache))]
- #let [_ (log! "pre-load' #3")]]
- (|> (dict.entries valid-cache)
- (monad.map @ (function (_ [module-name module])
- (do @
- [#let [_ (log! (format " PRE INSTALL: " module-name))]
- loaded-module (install target-dir load-def module-name module)
- #let [_ (log! (format "POST INSTALL: " module-name))]]
- (wrap [module-name loaded-module]))))
- (:: @ map (dict.from-list text.Hash<Text>)))))
-
-(def: (set-cache cache)
- (-> //.Cache (Process Any))
- (do io.Monad<IO>
- [swapped? (atom.compare-and-swap //.empty cache ..cache)]
- (if swapped?
- (wrap (#e.Success []))
- (io.throw Cannot-Pre-Load-Cache-More-Than-Once ""))))
-
-(def: #export (pre-load source-dirs target-dir load-def)
- (-> (List File) File Loader (Process Any))
- (do io.Monad<Process>
- [loaded-cache (pre-load' source-dirs (///io.platform-target target-dir) load-def)]
- (set-cache loaded-cache)))
-
-(def: #export (clean target-dir wanted-modules)
- (-> File (Set Text) (Process Any))
- (do io.Monad<Process>
- [cached (cached target-dir)
- _ (|> cached
- (list.filter (bool.complement (set.member? wanted-modules)))
- (monad.map @ (un-install target-dir)))]
- (wrap [])))
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-28 01:03:36 +0000