Use interpreter for parsing JSON instead of Parsing package

Author: d-torrance

M2/Macaulay2/packages/JSON.m2

@@ -24,7 +24,6 @@ newPackage(
 	    Email => "dtorrance@piedmont.edu",
 	    HomePage => "https://webwork.piedmont.edu/~dtorrance"}},
     Keywords => {"System"},
-    PackageImports => {"Parsing"},
     PackageExports => {"Text"},
     AuxiliaryFiles => true)
 
@@ -72,90 +71,11 @@ export {
     "ValueSeparator",
     }
 
-exportFrom_Parsing "nil"
-
-----------------------------------------------------------------
--- parser based on https://datatracker.ietf.org/doc/html/rfc8259
-----------------------------------------------------------------
-
--- whitespace
-wsP   = *orP(" ", "\t", "\n", "\r")
-strip = p -> first % (p @ wsP)
-
--- structural characters
-beginArrayP     = strip "["
-beginObjectP    = strip "{"
-endArrayP       = strip "]"
-endObjectP      = strip "}"
-nameSeparatorP  = strip ":"
-valueSeparatorP = strip ","
-
--- literals
-falseP = (x -> false) % constParser "false"
-nullP  = (x -> nil)   % constParser "null" -- using null would break parsing
-trueP  = (x -> true)  % constParser "true"
-
--- numbers
-digit19P = orP("1", "2", "3", "4", "5", "6", "7", "8", "9")
-digitP   = "0" | digit19P
-expP     = andP(orP("e", "E"), optP(orP("-", "+")), +digitP)
-fracP    = andP(".", +digitP)
-intP     = orP("0", digit19P @ *digitP)
-numberP  = (x -> value concatenate delete(nil, deepSplice x)
-    ) % andP(optP("-"), intP, optP(fracP), optP(expP))
-
--- strings
-hexDigitP = digitP | orP("a", "b", "c", "d", "e", "f",
-    "A", "B", "C", "D", "E", "F");
-unescapedP = Parser(c -> if c === null then null else (
-	x := first utf8 c;
-	if x < 0x20 or x == 0x22 or x == 0x5c or x > 0x10ffff
-	then null
-	else terminalParser c))
-deformat = x -> (
-    if last x === "/" then "/"
-    else value concatenate("\"", x, "\""))
-escapedP = deformat % ("\\" @
-    orP("\"", "\\", "/", "b", "f", "n", "r", "t",
-	andP("u", hexDigitP, hexDigitP, hexDigitP, hexDigitP)))
-charP = unescapedP | escapedP
-stringP = ((l, x, r) -> concatenate x) % andP("\"", *charP, "\"")
-
--- objects
-memberP = ((k, gets, v) -> k => v) % andP(
-    stringP, nameSeparatorP, futureParser valueP)
-objectP = ((l, x, r) ->  hashTable (
-	if x === nil then {}
-	else toList deepSplice x)) % andP(
-    beginObjectP,
-    optP(memberP @ * (last % valueSeparatorP @ memberP)),
-    endObjectP)
-
--- arrays
-arrayP = ((l, x, r) -> (
-	if x === nil then {}
-	else toList deepSplice x)) % andP(
-    beginArrayP,
-    optP(futureParser valueP @
-	*(last % valueSeparatorP @ futureParser valueP)),
-    endArrayP)
-
--- values
-valueP = strip orP(falseP, nullP, trueP, objectP, arrayP, numberP, stringP)
-jsonTextP = (last @@ last) % (*wsP @ valueP)
-
-utf8Analyzer = Analyzer(s -> (
-	if not instance(s, String) then error "analyzer expected a string";
-	chars := characters s;
-	i := 0;
-	() -> if chars#?i then (
-	    r := (i, chars#i);
-	    i = i + 1;
-	    r)))
+importFrom(Core, "fromJSON0")
 
 fromJSON = method()
-fromJSON String := jsonTextP : utf8Analyzer
-fromJSON File   := fromJSON @@ get
+fromJSON String :=
+fromJSON File   := fromJSON0
 
 --------------
 -- encoding --