diff options
Diffstat (limited to '')
18 files changed, 33 insertions, 33 deletions
diff --git a/stdlib/source/lux/lang/compiler/analysis/case/coverage.lux b/stdlib/source/lux/lang/compiler/analysis/case/coverage.lux index 825a9e9df..20000a8e0 100644 --- a/stdlib/source/lux/lang/compiler/analysis/case/coverage.lux +++ b/stdlib/source/lux/lang/compiler/analysis/case/coverage.lux @@ -9,7 +9,7 @@ [maybe] text/format (coll [list "list/" Fold<List>] - (dictionary ["dict" unordered #+ Dict])))) + (dictionary ["dict" unordered #+ Dictionary])))) [//// "operation/" Monad<Operation>] [/// #+ Pattern Variant Operation]) @@ -52,7 +52,7 @@ (type: #export #rec Coverage #Partial (#Bool Bool) - (#Variant (Maybe Nat) (Dict Nat Coverage)) + (#Variant (Maybe Nat) (Dictionary Nat Coverage)) (#Seq Coverage Coverage) (#Alt Coverage Coverage) #Exhaustive) @@ -154,7 +154,7 @@ [(#Variant allR casesR) (#Variant allS casesS)] (and (n/= (cases allR) (cases allS)) - (:: (dict.Equivalence<Dict> =) = casesR casesS)) + (:: (dict.Equivalence<Dictionary> =) = casesR casesS)) [(#Seq leftR rightR) (#Seq leftS rightS)] (and (= leftR leftS) @@ -200,7 +200,7 @@ (cond (not (n/= (cases allSF) (cases allA))) (e.fail "Variants do not match.") - (:: (dict.Equivalence<Dict> Equivalence<Coverage>) = casesSF casesA) + (:: (dict.Equivalence<Dictionary> Equivalence<Coverage>) = casesSF casesA) redundant-pattern ## else diff --git a/stdlib/source/lux/lang/compiler/analysis/structure.lux b/stdlib/source/lux/lang/compiler/analysis/structure.lux index ed809135a..7307d6472 100644 --- a/stdlib/source/lux/lang/compiler/analysis/structure.lux +++ b/stdlib/source/lux/lang/compiler/analysis/structure.lux @@ -7,7 +7,7 @@ [product] [maybe] (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict])) + (dictionary ["dict" unordered #+ Dictionary])) text/format) [macro] (macro [code])) @@ -320,7 +320,7 @@ (if (dict.contains? idx idx->val) (///.throw cannot-repeat-tag [key record]) (wrap (dict.put idx val idx->val)))))) - (: (Dict Nat Code) + (: (Dictionary Nat Code) (dict.new number.Hash<Nat>)) record) #let [ordered-tuple (list/map (function (_ idx) (maybe.assume (dict.get idx idx->val))) diff --git a/stdlib/source/lux/lang/compiler/extension.lux b/stdlib/source/lux/lang/compiler/extension.lux index 3d1b6fcaf..19f993163 100644 --- a/stdlib/source/lux/lang/compiler/extension.lux +++ b/stdlib/source/lux/lang/compiler/extension.lux @@ -4,14 +4,14 @@ ["ex" exception #+ exception:]) (data [error #+ Error] [text] - (coll (dictionary ["dict" unordered #+ Dict])))) + (coll (dictionary ["dict" unordered #+ Dictionary])))) [// #+ Operation Compiler]) (type: #export (Extension i) (#Base i) (#Extension [Text (List (Extension i))])) -(with-expansions [<Bundle> (as-is (Dict Text (-> Text (Handler s i o))))] +(with-expansions [<Bundle> (as-is (Dictionary Text (-> Text (Handler s i o))))] (type: #export (Handler s i o) (-> (Compiler [s <Bundle>] (Extension i) (Extension o)) (Compiler [s <Bundle>] (List (Extension i)) (Extension o)))) diff --git a/stdlib/source/lux/lang/compiler/extension/analysis.lux b/stdlib/source/lux/lang/compiler/extension/analysis.lux index 77439643e..9a28ff39f 100644 --- a/stdlib/source/lux/lang/compiler/extension/analysis.lux +++ b/stdlib/source/lux/lang/compiler/extension/analysis.lux @@ -2,7 +2,7 @@ lux (lux (data [text] (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict])))) + (dictionary ["dict" unordered #+ Dictionary])))) [///analysis #+ Analysis State] [///synthesis #+ Synthesis] [//] diff --git a/stdlib/source/lux/lang/compiler/extension/analysis/common.lux b/stdlib/source/lux/lang/compiler/extension/analysis/common.lux index 3cd23ed17..71df4c678 100644 --- a/stdlib/source/lux/lang/compiler/extension/analysis/common.lux +++ b/stdlib/source/lux/lang/compiler/extension/analysis/common.lux @@ -8,7 +8,7 @@ text/format (coll [list "list/" Functor<List>] [array] - (dictionary ["dict" unordered #+ Dict]))) + (dictionary ["dict" unordered #+ Dictionary]))) [lang] (lang (type ["tc" check])) [io #+ IO]) diff --git a/stdlib/source/lux/lang/compiler/extension/analysis/host.jvm.lux b/stdlib/source/lux/lang/compiler/extension/analysis/host.jvm.lux index 826650ccc..ead713305 100644 --- a/stdlib/source/lux/lang/compiler/extension/analysis/host.jvm.lux +++ b/stdlib/source/lux/lang/compiler/extension/analysis/host.jvm.lux @@ -12,7 +12,7 @@ ["l" lexer]) (coll [list "list/" Fold<List> Functor<List> Monoid<List>] [array] - (dictionary ["dict" unordered #+ Dict]))) + (dictionary ["dict" unordered #+ Dictionary]))) [macro "macro/" Monad<Meta>] (macro [code] ["s" syntax]) @@ -198,7 +198,7 @@ ))) (def: #export boxes - (Dict Text Text) + (Dictionary Text Text) (|> (list ["boolean" "java.lang.Boolean"] ["byte" "java.lang.Byte"] ["short" "java.lang.Short"] @@ -562,7 +562,7 @@ (lang.throw cannot-convert-to-a-class (jvm-type-name type)))) (type: Mappings - (Dict Text Type)) + (Dictionary Text Type)) (def: fresh-mappings Mappings (dict.new text.Hash<Text>)) diff --git a/stdlib/source/lux/lang/compiler/extension/bundle.lux b/stdlib/source/lux/lang/compiler/extension/bundle.lux index ff4bd66ad..e68c391c6 100644 --- a/stdlib/source/lux/lang/compiler/extension/bundle.lux +++ b/stdlib/source/lux/lang/compiler/extension/bundle.lux @@ -5,7 +5,7 @@ (data [text] text/format (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict])))) + (dictionary ["dict" unordered #+ Dictionary])))) [//]) (exception: #export (incorrect-arity {name Text} {arity Nat} {args Nat}) diff --git a/stdlib/source/lux/lang/compiler/extension/synthesis.lux b/stdlib/source/lux/lang/compiler/extension/synthesis.lux index c48f3e3a5..ca20b0738 100644 --- a/stdlib/source/lux/lang/compiler/extension/synthesis.lux +++ b/stdlib/source/lux/lang/compiler/extension/synthesis.lux @@ -1,9 +1,9 @@ (.module: lux (lux (data [text] - (coll (dictionary ["dict" unordered #+ Dict])))) + (coll (dictionary ["dict" unordered #+ Dictionary])))) [//]) (def: #export defaults - (Dict Text //.Synthesis) + (Dictionary Text //.Synthesis) (dict.new text.Hash<Text>)) diff --git a/stdlib/source/lux/lang/compiler/extension/translation.lux b/stdlib/source/lux/lang/compiler/extension/translation.lux index bc95ed1f4..2063d5fb2 100644 --- a/stdlib/source/lux/lang/compiler/extension/translation.lux +++ b/stdlib/source/lux/lang/compiler/extension/translation.lux @@ -1,9 +1,9 @@ (.module: lux (lux (data [text] - (coll (dictionary ["dict" unordered #+ Dict])))) + (coll (dictionary ["dict" unordered #+ Dictionary])))) [//]) (def: #export defaults - (Dict Text //.Translation) + (Dictionary Text //.Translation) (dict.new text.Hash<Text>)) diff --git a/stdlib/source/lux/lang/compiler/meta/archive.lux b/stdlib/source/lux/lang/compiler/meta/archive.lux index a3e9c0397..09dfa211a 100644 --- a/stdlib/source/lux/lang/compiler/meta/archive.lux +++ b/stdlib/source/lux/lang/compiler/meta/archive.lux @@ -7,7 +7,7 @@ [ident] [text] text/format - (coll (dictionary ["dict" unordered #+ Dict]))) + (coll (dictionary ["dict" unordered #+ Dictionary]))) (lang [type #+ :share]) (type abstract) (world [file #+ File])) @@ -93,7 +93,7 @@ ["New document's key" (describe (..signature (get@ #key new)))])) (type: #export Archive - (Dict Text (Ex [d] (Document d)))) + (Dictionary Text (Ex [d] (Document d)))) (def: #export empty Archive (dict.new text.Hash<Text>)) diff --git a/stdlib/source/lux/lang/compiler/meta/cache.lux b/stdlib/source/lux/lang/compiler/meta/cache.lux index 1d47121f9..dc5dda4a8 100644 --- a/stdlib/source/lux/lang/compiler/meta/cache.lux +++ b/stdlib/source/lux/lang/compiler/meta/cache.lux @@ -11,7 +11,7 @@ [text] text/format (coll [list "list/" Functor<List> Fold<List>] - (dictionary ["dict" unordered #+ Dict]) + (dictionary ["dict" unordered #+ Dictionary]) (set ["set" unordered #+ Set]))) (world [file #+ File System])) [//io #+ Context Module] @@ -140,7 +140,7 @@ #.None archive)) - (: (Dict Text [(List Module) (Ex [d] (Document d))]) + (: (Dictionary Text [(List Module) (Ex [d] (Document d))]) (dict.new text.Hash<Text>))))])) #let [candidate-entries (dict.entries candidate) candidate-dependencies (list/map (product.both id product.left) diff --git a/stdlib/source/lux/lang/compiler/meta/cache/dependency.lux b/stdlib/source/lux/lang/compiler/meta/cache/dependency.lux index 28fcfccc8..e6d94dc65 100644 --- a/stdlib/source/lux/lang/compiler/meta/cache/dependency.lux +++ b/stdlib/source/lux/lang/compiler/meta/cache/dependency.lux @@ -2,11 +2,11 @@ [lux #- Module] (lux (data [text] (coll [list "list/" Functor<List> Fold<List>] - (dictionary ["dict" unordered #+ Dict])))) + (dictionary ["dict" unordered #+ Dictionary])))) [///io #+ Module] [///archive #+ Archive]) -(type: #export Graph (Dict Module (List Module))) +(type: #export Graph (Dictionary Module (List Module))) (def: #export empty Graph (dict.new text.Hash<Text>)) diff --git a/stdlib/source/lux/lang/compiler/synthesis.lux b/stdlib/source/lux/lang/compiler/synthesis.lux index eece3c7ab..bd23523e3 100644 --- a/stdlib/source/lux/lang/compiler/synthesis.lux +++ b/stdlib/source/lux/lang/compiler/synthesis.lux @@ -2,12 +2,12 @@ [lux #- i64 Scope] (lux (control [monad #+ do]) (data [error #+ Error] - (coll (dictionary ["dict" unordered #+ Dict])))) + (coll (dictionary ["dict" unordered #+ Dictionary])))) [///reference #+ Register Variable Reference] [// #+ Operation Compiler] [//analysis #+ Environment Arity Analysis]) -(type: #export Resolver (Dict Variable Variable)) +(type: #export Resolver (Dictionary Variable Variable)) (type: #export State {#scope-arity Arity diff --git a/stdlib/source/lux/lang/compiler/synthesis/expression.lux b/stdlib/source/lux/lang/compiler/synthesis/expression.lux index 8a07b0aea..81cc89b08 100644 --- a/stdlib/source/lux/lang/compiler/synthesis/expression.lux +++ b/stdlib/source/lux/lang/compiler/synthesis/expression.lux @@ -4,7 +4,7 @@ ["ex" exception #+ exception:]) (data [maybe] (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict])))) + (dictionary ["dict" unordered #+ Dictionary])))) [///reference] [///compiler "operation/" Monad<Operation>] [///analysis #+ Analysis] diff --git a/stdlib/source/lux/lang/compiler/synthesis/function.lux b/stdlib/source/lux/lang/compiler/synthesis/function.lux index 35b9e047e..5d31a947b 100644 --- a/stdlib/source/lux/lang/compiler/synthesis/function.lux +++ b/stdlib/source/lux/lang/compiler/synthesis/function.lux @@ -7,7 +7,7 @@ (data [maybe "maybe/" Monad<Maybe>] [error] (coll [list "list/" Functor<List> Monoid<List> Fold<List>] - (dictionary ["dict" unordered #+ Dict])))) + (dictionary ["dict" unordered #+ Dictionary])))) [///reference #+ Variable] [///compiler #+ Operation] [///analysis #+ Environment Arity Analysis] diff --git a/stdlib/source/lux/lang/compiler/translation.lux b/stdlib/source/lux/lang/compiler/translation.lux index 46f9ffd98..80c606f30 100644 --- a/stdlib/source/lux/lang/compiler/translation.lux +++ b/stdlib/source/lux/lang/compiler/translation.lux @@ -7,7 +7,7 @@ [text] text/format (coll [row #+ Row] - (dictionary ["dict" unordered #+ Dict]))) + (dictionary ["dict" unordered #+ Dictionary]))) (world [file #+ File])) [// #+ Operation Compiler] [//synthesis #+ Synthesis]) @@ -35,7 +35,7 @@ (type: #export (Buffer code) (Row [Ident code])) -(type: #export (Artifacts code) (Dict File (Buffer code))) +(type: #export (Artifacts code) (Dictionary File (Buffer code))) (type: #export (State anchor code) {#context Context diff --git a/stdlib/source/lux/lang/compiler/translation/scheme/extension.jvm.lux b/stdlib/source/lux/lang/compiler/translation/scheme/extension.jvm.lux index e2cdc3e03..7170d29b7 100644 --- a/stdlib/source/lux/lang/compiler/translation/scheme/extension.jvm.lux +++ b/stdlib/source/lux/lang/compiler/translation/scheme/extension.jvm.lux @@ -4,7 +4,7 @@ ["ex" exception #+ exception:]) (data [maybe] text/format - (coll (dictionary ["dict" unordered #+ Dict])))) + (coll (dictionary ["dict" unordered #+ Dictionary])))) (///// [reference #+ Register Variable] (host ["_" scheme #+ Computation]) [compiler "operation/" Monad<Operation>] diff --git a/stdlib/source/lux/lang/compiler/translation/scheme/extension/common.jvm.lux b/stdlib/source/lux/lang/compiler/translation/scheme/extension/common.jvm.lux index dbb02da7f..044b75cac 100644 --- a/stdlib/source/lux/lang/compiler/translation/scheme/extension/common.jvm.lux +++ b/stdlib/source/lux/lang/compiler/translation/scheme/extension/common.jvm.lux @@ -8,7 +8,7 @@ text/format [number #+ hex] (coll [list "list/" Functor<List>] - (dictionary ["dict" unordered #+ Dict]))) + (dictionary ["dict" unordered #+ Dictionary]))) [macro #+ with-gensyms] (macro [code] ["s" syntax #+ syntax:]) @@ -23,7 +23,7 @@ (-> Translator (List Synthesis) (Operation Computation))) (type: #export Bundle - (Dict Text Extension)) + (Dictionary Text Extension)) (syntax: (Vector {size s.nat} elemT) (wrap (list (` [(~+ (list.repeat size elemT))])))) |