Verified Commit b29a59aa authored by Camil Staps's avatar Camil Staps 🚀

Remove redundant import; fix indentation

parent 81d74e89
......@@ -13,7 +13,6 @@ definition module Gast.StdProperty
import Gast.GenLibTest
import Gast.Testable
from StdString import instance toString {#Char}
class (\/) infixr 2 a b :: !a b -> Property // Conditional or of arg1 and arg2
class (/\) infixr 3 a b :: !a b -> Property // Conditional and of arg1 and arg2
......
......@@ -70,7 +70,7 @@ generateAll :: !GenState -> [a] | ggen{|*|} a //& genType{|*|} a
| Trace
| Concise
| Quiet
| OutputTestEvents //* output test results as event specified in clean-platform {{Testing.TestEvents}}
| OutputTestEvents //* output test results as event specified in clean-platform {{Testing.TestEvents}}
| ArgTypes [GenType]
Test :: [Testoption] !p -> [String] | Testable p
......
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