Skip to content

Commit

Permalink
wrap long lines
Browse files Browse the repository at this point in the history
  • Loading branch information
davidchambers committed Mar 29, 2019
1 parent f06c82b commit 7cc678f
Showing 1 changed file with 15 additions and 5 deletions.
20 changes: 15 additions & 5 deletions test/index.js
Original file line number Diff line number Diff line change
Expand Up @@ -3504,11 +3504,21 @@ suite ('interoperability', () => {
eq (Z.equals ($.RecordType ({x: $.Number}), $.RecordType ({x: $.Number}))) (true);
eq (Z.equals ($.RecordType ({x: $.Number}), $.RecordType ({y: $.Number}))) (false);
eq (Z.equals ($.RecordType ({x: $.Number}), $.RecordType ({x: $.String}))) (false);
eq (Z.equals ($.NullaryType ('X') ('') ([$.Number]) (x => true), $.NullaryType ('X') ('') ([$.Number]) (x => true))) (true);
eq (Z.equals ($.NullaryType ('X') ('') ([$.Number]) (x => true), $.NullaryType ('X') ('') ([$.String]) (x => true))) (false);
eq (Z.equals ($.NullaryType ('X') ('') ([]) (x => true), $.NullaryType ('X') ('') ([]) (x => true))) (true);
eq (Z.equals ($.NullaryType ('X') ('') ([]) (x => true), $.NullaryType ('Y') ('') ([]) (x => true))) (false);
eq (Z.equals ($.NullaryType ('X') ('') ([]) (x => true), $.NullaryType ('X') ('') ([]) (x => false))) (true);
eq (Z.equals ($.NullaryType ('X') ('') ([$.Number]) (x => true),
$.NullaryType ('X') ('') ([$.Number]) (x => true)))
(true);
eq (Z.equals ($.NullaryType ('X') ('') ([$.Number]) (x => true),
$.NullaryType ('X') ('') ([$.String]) (x => true)))
(false);
eq (Z.equals ($.NullaryType ('X') ('') ([]) (x => true),
$.NullaryType ('X') ('') ([]) (x => true)))
(true);
eq (Z.equals ($.NullaryType ('X') ('') ([]) (x => true),
$.NullaryType ('Y') ('') ([]) (x => true)))
(false);
eq (Z.equals ($.NullaryType ('X') ('') ([]) (x => true),
$.NullaryType ('X') ('') ([]) (x => false)))
(true);
eq (Z.equals ($.Array ($.NullaryType ('X') ('http://x.com/') ([]) (x => true)),
$.Array ($.NullaryType ('X') ('http://x.com/') ([]) (x => true))))
(true);
Expand Down

0 comments on commit 7cc678f

Please sign in to comment.