diff options
| author | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:28:21 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@ymhg.org> | 2019-05-13 15:28:21 +0100 |
| commit | 0e0dd6ee036c333cd3026917e696cf37996af341 (patch) | |
| tree | 3b6e3570f72a5c111db8f8f6ce3430a9cf4de1f3 /test | |
| parent | f984a79a85b4cc5a077fbf0f7ae6ac52a51822e8 (diff) | |
| download | verismith-0e0dd6ee036c333cd3026917e696cf37996af341.tar.gz verismith-0e0dd6ee036c333cd3026917e696cf37996af341.zip | |
Add NonEmpty to tests
Diffstat (limited to 'test')
| -rw-r--r-- | test/Unit.hs | 42 |
1 files changed, 21 insertions, 21 deletions
diff --git a/test/Unit.hs b/test/Unit.hs index cfac8f3..013d595 100644 --- a/test/Unit.hs +++ b/test/Unit.hs @@ -4,8 +4,9 @@ module Unit where import Control.Lens -import Parser (parseUnitTests) -import Reduce (reduceUnitTests) +import Data.List.NonEmpty (NonEmpty (..)) +import Parser (parseUnitTests) +import Reduce (reduceUnitTests) import Test.Tasty import Test.Tasty.HUnit import VeriFuzz @@ -42,17 +43,17 @@ transformTestData = BinOp ) ) BinOr - (Concat - [ Concat - [ Concat [Id "id1", Id "id2", Id "id2"] + (Concat $ + ( Concat $ + (Concat $ (Id "id1") :| [Id "id2", Id "id2"]) :| + [ Id "id2" , Id "id2" - , Id "id2" - , Concat [Id "id2", Id "id2", Concat [Id "id1", Id "id2"]] + , (Concat $ (Id "id2") :| [Id "id2", (Concat $ Id "id1" :| [Id "id2"])]) , Id "id2" ] - , Id "id1" - , Id "id2" - ] + ) :| [ Id "id1" + , Id "id2" + ] ) ) @@ -77,21 +78,20 @@ transformExpectedResult = BinOp ) ) BinOr - (Concat - [ Concat - [ Concat [Id "id1", Id "Replaced", Id "Replaced"] - , Id "Replaced" + (Concat $ + ( Concat $ + (Concat $ (Id "id1") :| [Id "Replaced", Id "Replaced"]) :| + [ Id "Replaced" , Id "Replaced" - , Concat + , Concat $ + Id "Replaced" :| [ Id "Replaced" - , Id "Replaced" - , Concat [Id "id1", Id "Replaced"] + , Concat $ Id "id1" :| [Id "Replaced"] ] , Id "Replaced" - ] - , Id "id1" - , Id "Replaced" - ] + ] ) :| [ Id "id1" + , Id "Replaced" + ] ) ) |