From 79f7d262ed0246ea6556478c611c0db59bb47191 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Grave Date: Mon, 25 Feb 2019 16:27:35 +0000 Subject: Reformat using brittany --- test/Unit.hs | 18 +++++++++++++----- 1 file changed, 13 insertions(+), 5 deletions(-) (limited to 'test/Unit.hs') diff --git a/test/Unit.hs b/test/Unit.hs index d911d2f..7878eaa 100644 --- a/test/Unit.hs +++ b/test/Unit.hs @@ -11,14 +11,18 @@ import VeriFuzz unitTests :: TestTree unitTests = testGroup "Unit tests" - [ testCase "Transformation of AST" $ assertEqual "Successful transformation" - transformExpectedResult - (transform trans transformTestData) + [ testCase "Transformation of AST" $ assertEqual + "Successful transformation" + transformExpectedResult + (transform trans transformTestData) ] transformTestData :: Expr transformTestData = BinOp - (BinOp (BinOp (Id "id1") BinAnd (Id "id2")) BinAnd (BinOp (Id "id1") BinAnd (Id "id2"))) + (BinOp (BinOp (Id "id1") BinAnd (Id "id2")) + BinAnd + (BinOp (Id "id1") BinAnd (Id "id2")) + ) BinAnd (BinOp (BinOp @@ -74,7 +78,11 @@ transformExpectedResult = BinOp [ Concat [Id "id1", Id "Replaced", Id "Replaced"] , Id "Replaced" , Id "Replaced" - , Concat [Id "Replaced", Id "Replaced", Concat [Id "id1", Id "Replaced"]] + , Concat + [ Id "Replaced" + , Id "Replaced" + , Concat [Id "id1", Id "Replaced"] + ] , Id "Replaced" ] , Id "id1" -- cgit