1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

error:
       … while calling the 'seq' builtin
         at /pwd/in.nix:7:4:
            6|   b = -1;
            7| in builtins.seq intMin (builtins.seq b (intMin / b))
             |    ^
            8|

       … while calling the 'seq' builtin
         at /pwd/in.nix:7:25:
            6|   b = -1;
            7| in builtins.seq intMin (builtins.seq b (intMin / b))
             |                         ^
            8|

       … while calling the 'div' builtin
         at /pwd/in.nix:7:48:
            6|   b = -1;
            7| in builtins.seq intMin (builtins.seq b (intMin / b))
             |                                                ^
            8|

       error: integer overflow in dividing -9223372036854775808 / -1