Commit 9a47368c authored by Steffen Michels's avatar Steffen Michels

Merge branch 'fix-System.FilePath-test-imports' into 'master'

Fix imports in property testing bootstrap of System.FilePath (avoid conflict with Gast)

See merge request !301
parents 8355e187 d77411e2
Pipeline #34200 canceled with stage
......@@ -3,8 +3,19 @@ definition module System.FilePath
/**
* Module for manipulation of file and directory paths
*
* @property-bootstrap
* import StdEnv, Text
* @property-bootstrap without default imports
* import Gast.Gen, Gast.GenLibTest, Gast.CommandLine
* from Gast.Testable import
* class TestArg,
* instance Testable Property, instance Testable (a->b)
* from Gast.StdProperty import
* :: Property,
* class /\(..), instance /\ Bool Bool,
* class ==>(..), instance ==> Bool,
* location_and_name, =.=
* import Testing.TestEvents, Text.GenPrint
* import StdEnv, StdMaybe, Text
* import System.FilePath
*
* :: GFilePath :== [GFilePathPart]
* :: GFilePathPart = PathSep | ExtSep | Name GName
......@@ -13,6 +24,7 @@ definition module System.FilePath
* derive genShow GFilePathPart, GName
* derive ggen GFilePathPart, GName
* derive gPrint GFilePathPart, GName
* derive bimap []
*
* @property-test-generator GFilePath -> FilePath
* gen gfp = concat (map toString gfp)
......
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