Verified Commit 553236b3 authored by Camil Staps's avatar Camil Staps
Browse files

Also update Text.JSON -> Text.GenJSON

parent faf8854f
......@@ -7,7 +7,7 @@ from Data.GenEq import generic gEq
from Data.Map import :: Map
from Data.Maybe import :: Maybe
from System.FilePath import :: FilePath
from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode
from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
from Type import :: Type, :: TypeVar, :: TVAssignment, :: TypeDef,
:: TypeContext, :: TypeRestriction, :: Priority, class print(..)
......
......@@ -30,7 +30,7 @@ import Data.Tuple
import System.File
import System.FilePath
from Text import class Text(concat), instance Text String
import Text.JSON
import Text.GenJSON
// CleanTypeUnifier
import Type
......
......@@ -4,7 +4,7 @@ from StdOverloaded import class ==, class <
from Data.Map import :: Map
from Data.Maybe import :: Maybe
from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode
from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
/**
* A database. Entries can be soft deleted. Entries are indexed with integers
......
......@@ -11,7 +11,7 @@ from Data.Func import $, hyperstrict
import Data.Functor
import Data.Map
import Data.Maybe
import Text.JSON
import Text.GenJSON
:: *DB v ak a = DB *{!Entry v ak a}
......
......@@ -3,7 +3,7 @@ definition module NGramIndex
from StdClass import class Eq, class ==, class Ord, class <
from Data.Map import :: Map
from Data.Maybe import :: Maybe
from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode
from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
:: NGramIndex v =
{ n :: !Int
......
......@@ -13,7 +13,7 @@ from Data.List import concatMap, tails
import Data.Map
import Data.Maybe
import Data.Monoid
import Text.JSON
import Text.GenJSON
derive JSONEncode NGramIndex
derive JSONDecode NGramIndex
......
......@@ -4,7 +4,7 @@ from StdOverloaded import class zero
from Data.Graphviz import :: Digraph
from Data.Maybe import :: Maybe
from Text.JSON import generic JSONEncode, generic JSONDecode, :: JSONNode
from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
from TypeDef import :: Type, :: Unifier
......
......@@ -13,7 +13,7 @@ import Data.Graphviz
import Data.List
import Data.Tuple
from Text import class Text(concat), instance Text String
import Text.JSON
import Text.GenJSON
import TypeDef
import TypeUnify
......
Subproject commit e3ab9d34301ad3e838cd9a0848101dab54ad377d
Subproject commit fd55013666160619318dcabbf562ae4aa09a529d
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment