Verified Commit 5d7067e7 authored by Camil Staps's avatar Camil Staps 🚀

Update for clean-platform!135

parent 736b32cd
......@@ -9,5 +9,5 @@ definition module Gast
pieter@cs.ru.nl
*/
import Math.Random, Data.Generics.GenEq
import Math.Random, Data.GenEq
import Gast.Gen, Gast.GenLibTest, Gast.Testable, Gast.StdProperty, Gast.ConfSM
......@@ -8,8 +8,8 @@ import StdTuple
import Control.Monad => qualified join
import Data.Error
from Data.Func import $
import Data.Generics.GenParse
import Data.Generics.GenPrint
import Text.GenParse
import Text.GenPrint
import Data.List
import Data.Tuple
import System.CommandLine
......
......@@ -13,7 +13,7 @@ implementation module Gast.ConfSM
trace_cycles yes no :== no
import StdEnv, Math.Random, Gast.Gen, Data.Generics.GenEq, Gast.GenLibTest, Gast.Testable, Data.Maybe
import StdEnv, Math.Random, Gast.Gen, Data.GenEq, Gast.GenLibTest, Gast.Testable, Data.Maybe
/*
import Debug // for tracing
//-- debug operator
......
......@@ -11,7 +11,7 @@ definition module Gast.GenLibTest
pieter@cs.ru.nl
*/
import StdGeneric, Data.Generics.GenEq
import StdGeneric, Data.GenEq
import StdClass
//instance + String
......
......@@ -11,7 +11,7 @@ implementation module Gast.GenLibTest
pieter@cs.ru.nl
*/
import StdEnv, StdGeneric, Data.Generics.GenEq
import StdEnv, StdGeneric, Data.GenEq
(@@)infixl 2 :: !(a->b) a -> b
(@@) f x = f x
......
......@@ -18,7 +18,7 @@ from Math.Random import genRandInt
import System.OS
import Testing.TestEvents
import Text
import Text.JSON
import Text.GenJSON
import Gast.Testable
import Gast.ThunkNames
......
......@@ -15,7 +15,7 @@ import Gast.GenLibTest
from Gast.StdProperty import ::Property // for instance of testable
import Gast.Gen
from Testing.TestEvents import :: CounterExample, :: FailedAssertion
from Text.JSON import :: JSONNode, generic JSONEncode
from Text.GenJSON import :: JSONNode, generic JSONEncode
//--- basics --//
......
......@@ -20,7 +20,7 @@ import qualified Data.Map as Map
import Math.Random
import Testing.TestEvents
import Text
import Text.JSON
import Text.GenJSON
import Text.Language
import Gast.Gen
......
......@@ -15,7 +15,7 @@ import StdList
import StdString
from Data.Func import $
import Data.Generics.GenLexOrd
import Data.GenLexOrd
from Data.Set import :: Set, instance == (Set a)
import qualified Data.Set as S
......
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