@@ -276,6 +276,7 @@ Test-suite map-lazy-properties
276
276
Utils.Containers.Internal.PtrEquality
277
277
Utils.Containers.Internal.StrictMaybe
278
278
Utils.Containers.Internal.StrictPair
279
+ Utils.Containers.Internal.TypeError
279
280
type : exitcode-stdio-1.0
280
281
cpp-options : -DTESTING
281
282
@@ -309,6 +310,7 @@ Test-suite map-strict-properties
309
310
Utils.Containers.Internal.PtrEquality
310
311
Utils.Containers.Internal.StrictMaybe
311
312
Utils.Containers.Internal.StrictPair
313
+ Utils.Containers.Internal.TypeError
312
314
type : exitcode-stdio-1.0
313
315
cpp-options : -DTESTING -DSTRICT
314
316
@@ -464,6 +466,9 @@ Test-suite seq-properties
464
466
Data.Sequence
465
467
Data.Sequence.Internal
466
468
Utils.Containers.Internal.StrictPair
469
+ Data.Sequence.Internal.Sorting
470
+ Utils.Containers.Internal.Coercions
471
+ Utils.Containers.Internal.State
467
472
type : exitcode-stdio-1.0
468
473
cpp-options : -DTESTING
469
474
@@ -483,6 +488,11 @@ Test-suite tree-properties
483
488
main-is : tree-properties.hs
484
489
other-modules :
485
490
Data.Tree
491
+ Data.Sequence
492
+ Data.Sequence.Internal.Sorting
493
+ Utils.Containers.Internal.Coercions
494
+ Utils.Containers.Internal.State
495
+ Utils.Containers.Internal.StrictPair
486
496
type : exitcode-stdio-1.0
487
497
cpp-options : -DTESTING
488
498
@@ -512,6 +522,7 @@ test-suite map-strictness-properties
512
522
Utils.Containers.Internal.PtrEquality
513
523
Utils.Containers.Internal.StrictMaybe
514
524
Utils.Containers.Internal.StrictPair
525
+ Utils.Containers.Internal.TypeError
515
526
type : exitcode-stdio-1.0
516
527
517
528
build-depends :
@@ -564,6 +575,7 @@ test-suite intset-strictness-properties
564
575
Data.IntSet.Internal
565
576
Utils.Containers.Internal.BitUtil
566
577
Utils.Containers.Internal.StrictPair
578
+ Utils.Containers.Internal.TypeError
567
579
type : exitcode-stdio-1.0
568
580
other-extensions : CPP, BangPatterns
569
581
@@ -585,6 +597,7 @@ test-suite listutils-properties
585
597
main-is : listutils-properties.hs
586
598
other-modules :
587
599
Data.Containers.ListUtils
600
+ Utils.Containers.Internal.TypeError
588
601
type : exitcode-stdio-1.0
589
602
590
603
build-depends :
0 commit comments