Commit 44b57b7e authored by Camil Staps's avatar Camil Staps 🚀

Don't use $ in generated properties

parent b08634ce
...@@ -260,7 +260,6 @@ where ...@@ -260,7 +260,6 @@ where
[ "module " +++ testmodname [ "module " +++ testmodname
, "import Gast, Gast.CommandLine" , "import Gast, Gast.CommandLine"
, "from StdString import instance toString {#Char}" , "from StdString import instance toString {#Char}"
, "from Data.Func import $" // TODO: would be nice if property generation did not require this
, "import Control.GenBimap" , "import Control.GenBimap"
, "import " +++ modname , "import " +++ modname
, bootstrap , bootstrap
...@@ -324,7 +323,7 @@ where ...@@ -324,7 +323,7 @@ where
, "\t(" +++ lambda +++ join " " [name`` +++ "`":map snd3 ts`] +++ ")" , "\t(" +++ lambda +++ join " " [name`` +++ "`":map snd3 ts`] +++ ")"
, "where" , "where"
, "\t" +++ name`` +++ "` :: " +++ toString type` , "\t" +++ name`` +++ "` :: " +++ toString type`
, "\t" +++ join " " [name`` +++ "`":map fst3 ts`] +++ " = prop $\n\t\t" +++ replaceSubString "\n" "\n\t\t" imp , "\t" +++ join " " [name`` +++ "`":map fst3 ts`] +++ " = prop _p\n\twhere\n\t\t_p = " +++ replaceSubString "\n" "\n\t\t\t" imp
] ]
} }
where where
......
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