Cleanup generated properties

d0e36fd7 · Camil Staps · a5137ecd · d4176dc1 · 393afb03 · d4176dc1
Commit d0e36fd7 authored Jun 09, 2018 by Camil Staps 🦆
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 4 deletions

Cloogle Cloogle +1 -1

makecleantest.icl makecleantest.icl +2 -3

No files found.
--- a/Cloogle @ d4176dc1
+++ b/Cloogle @ d4176dc1
-Subproject commit 393afb033911087478d932ab02236203a77849ed
+Subproject commit d4176dc144f87d5c9581e2cf1fd155fd1a066aa2
--- a/makecleantest.icl
+++ b/makecleantest.icl
@@ -323,10 +323,9 @@ where
 			, "\t(" +++ lambda +++ join " " [name`` +++ "`":map snd3 ts`] +++ ")"
 			, "where"
 			, "\t" +++ name`` +++ "` :: " +++ toString type`
-			, "\t" +++ join " " [name`` +++ "`":map fst3 ts`] +++ " = prop _p"
+			, "\t" +++ join " " [name`` +++ "`":map fst3 ts`] +++ " = (True" +++ concat [" /\\ _pre" <+ i \\ i <- [1..] & pre <- preconditions] +++ ") ==> _p"
 			, "\twhere"
-			, "\t\t_p = (True" +++ concat [" /\\ _pre" <+ i \\ i <- [1..] & pre <- preconditions] +++ ") ==> _p`"
-			, "\t\t_p` = " +++ replaceSubString "\n" "\n\t\t\t" imp
+			, "\t\t_p = " +++ replaceSubString "\n" "\n\t\t\t" imp
 			: ["\t\t_pre" <+ i <+ " = " +++ s \\ s <- preconditions & i <- [1..]]
 			]
 		}