]> gitweb.factorcode.org Git - factor.git/commitdiff
fixups: Add json vocabs
authorGiftpflanze <80504430+gifti258@users.noreply.github.com>
Sun, 21 May 2023 21:14:07 +0000 (23:14 +0200)
committerGitHub <noreply@github.com>
Sun, 21 May 2023 21:14:07 +0000 (23:14 +0200)
basis/fixups/fixups.factor

index edcd305480a826370bbfa5c31e18df55be45a1e9..41c2f10030f74532b32f33309c76415c30cf52c8 100644 (file)
@@ -8,6 +8,8 @@ CONSTANT: vocab-renames {
     { "math.intervals" { "intervals" "0.99" } }
     { "math.ranges" { "ranges" "0.99" } }
     { "sorting.slots" { "sorting.specification" "0.99" } }
+    { "json.reader" { "json" "0.99" } }
+    { "json.writer" { "json" "0.99" } }
 }
 
 CONSTANT: word-renames {