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

Use location_and_name instead of module_and_name

parent e794f0c5
Pipeline #27902 passed with stage
in 5 minutes and 53 seconds
......@@ -309,10 +309,13 @@ where
coverage = toReal (length (filter (not o isEmpty) propsets)) / toReal (length fes)
tests = join "\n\n"
[ "module " +++ testmodname
, "import Gast, Gast.CommandLine"
, "from StdString import instance toString {#Char}"
, "import Control.GenBimap"
, "import " +++ modname
, join "\n"
[ "import Gast, Gast.CommandLine"
, "from Testing.TestEvents import :: TestLocation{..}"
, "from StdString import instance toString {#Char}"
, "import Control.GenBimap"
, "import " +++ modname
]
, bootstrap
, generators_string
, invariants
......@@ -402,7 +405,7 @@ where
{ gp_name = tname
, gp_implementation = join "\n"
[ tname +++ " :: Property"
, tname +++ " = module_and_name \"" +++ modname +++ "\" \"" +++ fname +++ ": " +++ name` +++ "\""
, tname +++ " = location_and_name {moduleName=Just \"" +++ modname +++ "\"} \"" +++ fname +++ ": " +++ name` +++ "\""
, "\t(" +++ join " " lambdas +++ join " " [name`` +++ "`":[ga.ga_expr \\ ga <- gas]] +++ {')' \\ _ <- lambdas} +++ ")"
, "where"
, "\t" +++ name`` +++ "` :: " +++ toString type`
......
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