Commit 522e7d4f authored by Markus Klinik's avatar Markus Klinik

remove dead code

Remove some old type signatures that are clearly not used anymore
parent cce67750
Pipeline #12485 passed with stage
in 40 seconds
......@@ -44,14 +44,13 @@ genLongInputs :: s (Spec s i o) [i] Int ![Int] -> [[i]]
generateFSMpaths :: s (Spec s i o) ![i] (s->[i]) -> [[i]] | gEq{|*|} s
testConfSM :: [TestOption s i o] (Spec s i o) s (IUTstep .t i o) .t (.t->.t) *d -> ((.t,[i]),*d)
| FileSystem d & gEq{|*|}, gLess{|*|}, genShow{|*|} s & gEq{|*|}, genShow{|*|} o & ggen{|*|}, genShow{|*|} i // & genType{|*|} i
// | FileSystem d & ggen{|*|} i & gEq{|*|} s & gEq{|*|} o & genShow{|*|} s & genShow{|*|} i & genShow{|*|} o
//testConfSM :: [TestOption s i o] (Spec s i o) s (IUTstep .t i o) .t (.t->.t) *File *File -> (.t,*File,*File)
// | ggen{|*|} i & gEq{|*|} s & gEq{|*|} o & genShow{|*|} s & genShow{|*|} i & genShow{|*|} o
| FileSystem d
& gEq{|*|}, gLess{|*|}, genShow{|*|} s
& gEq{|*|}, genShow{|*|} o
& ggen{|*|}, genShow{|*|} i
(after) infix 0 :: [s] (Spec s i o) -> ([i] -> [s])
propDeterministic :: !(Spec s i o) s i -> Bool
propTotal :: !(Spec s i o) s i -> Bool
//propComplete :: (Spec s i o) s i -> Bool // equal to propTotal
propComplete spec s i :== propTotal spec s i
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