"fulsom" Csg: Results: Interval: Results: bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down hi (pt ?) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi lo (pt ?) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf unpt (# ? ?1) ==> ! Interval.hs:249:0-14: Non-exhaustive patterns in function unpt up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf hi (down (# ? ?1)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 hi (pt ?) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf hi (up (# ? ?1)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf lo (down (# ? ?1)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 lo (pt ?) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf lo (up (# ? ?1)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up unpt (# ? ?1) ==> ! Interval.hs:249:0-14: Non-exhaustive patterns in function unpt bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (down (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up hi (down (# ? ?1)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up hi (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up hi (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up hi (pt ?) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down hi (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up hi (up (# ? ?1)) ==> ! Interval.hs:244:0-15: Non-exhaustive patterns in function hi bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up lo (down (# ? ?1)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up lo (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up lo (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up lo (pt ?) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down lo (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up lo (up (# ? ?1)) ==> ! Interval.hs:243:0-15: Non-exhaustive patterns in function lo bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (down (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (down (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (up (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (up (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up unpt (# ? ?1) ==> ! Interval.hs:249:0-14: Non-exhaustive patterns in function unpt unpt (bothalf ? (# ?1 ?2)) ==> ! Interval.hs:249:0-14: Non-exhaustive patterns in function unpt bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up unpt (topbit ? (# ?1 ?2)) ==> ! Interval.hs:249:0-14: Non-exhaustive patterns in function unpt bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up unpt (tophalf ? (# ?1 ?2)) ==> ! Interval.hs:249:0-14: Non-exhaustive patterns in function unpt bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (up (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (down (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (up (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (down (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (down (bothalf ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (down (topbit ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (tophalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (mid1 ?1 (bothalf ?2 (# ?3 ?4))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (mid2 ?1 (bothalf ?2 (# ?3 ?4))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (sqr ?1 ?2 (sqr ?3 ?4 (pt ?5))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (down (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (up (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (up (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (up (topbit ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (up (tophalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (up (bothalf ? (# ?1 ?2))) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (down (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (down (bothalf ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (down (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (up (# ?1 ?2)) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (down (bothalf ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (down (topbit ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (tophalf ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (sqr ?2 ?3 (pt ?4))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (topbit ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (down (tophalf ? (# ?1 ?2))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (down (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (up (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (mid1 ? (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid1 ? (down (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (mid1 ? (topbit ?1 (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid1 ? (tophalf ?1 (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (up (# ?1 ?2)) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (mid1 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (mid2 ? (bothalf ?1 (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf mid2 ? (down (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (mid2 ? (topbit ?1 (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (mid2 ? (tophalf ?1 (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid2 ? (up (# ?1 ?2)) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 up (mid2 ? (# ?1 ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (sqr ? ?1 (down (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (sqr ? ?1 (sqr ?2 ?3 (pt ?4))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (sqr ? ?1 (up (# ?2 ?3))) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (sqr ? ?1 (pt ?2)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (down (topbit ?1 (# ?2 ?3))) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf down (up (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (mid1 ?1 (# ?2 ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (mid2 ?1 (# ?2 ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (sqr ?1 ?2 (pt ?3)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf topbit ? (down (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (up (# ?1 ?2)) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf up (down (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (up (# ? ?1)) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up tophalf ? (down (# ?1 ?2)) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf bothalf ? (pt ?1) ==> ! Interval.hs:240:0-32: Non-exhaustive patterns in function bothalf down (down (# ? ?1)) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down tophalf ? (pt ?1) ==> ! Interval.hs:239:0-32: Non-exhaustive patterns in function tophalf up (pt ?) ==> ! Interval.hs:247:0-20: Non-exhaustive patterns in function up mid1 ? (pt ?1) ==> ! Interval.hs:251:0-32: Non-exhaustive patterns in function mid1 mid2 ? (pt ?1) ==> ! Interval.hs:252:0-32: Non-exhaustive patterns in function mid2 down (pt ?) ==> ! Interval.hs:246:0-20: Non-exhaustive patterns in function down topbit ? (pt ?1) ==> ! Interval.hs:241:0-38: Non-exhaustive patterns in function topbit Kolor: Results: Matrix: Results: Oct: Results: Patchlevel: Results: Quad: Results: Raster: Results: Shapes: Results: Types: Results: Vector: Results: Writing: Csg.hs.html Writing: Interval.hs.html Writing: Kolor.hs.html Writing: Matrix.hs.html Writing: Oct.hs.html Writing: Patchlevel.hs.html Writing: Quad.hs.html Writing: Raster.hs.html Writing: Shapes.hs.html Writing: Types.hs.html Writing: Vector.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html ["Csg.hs","Interval.hs","Kolor.hs","Matrix.hs","Oct.hs","Patchlevel.hs","Quad.hs","Raster.hs","Shapes.hs","Types.hs","Vector.hs"]