"compreals" ContinuedFractions: Results: Main: Results: eval ([]) (: ([]) ?) ==> ! Prelude.head: empty list eval (: ? ([])) (: ([]) ?1) ==> ! Prelude.head: empty list eval (: ? (: ?1 ?2)) (: ([]) ?3) ==> ! Prelude.head: empty list eval ([]) (: ([]) ?) ==> ! Prelude.head: empty list eval (: ? ([])) (: ([]) ?1) ==> ! Prelude.head: empty list eval (: ? (: ?1 ?2)) (: ([]) ?3) ==> ! Prelude.head: empty list check1 ? (: ?1 ([])) (: ([]) ?2) ==> ! Prelude.head: empty list check1 ? (: ?1 (: ?2 ?3)) (: ([]) ?4) ==> ! Prelude.head: empty list check2 ? (: ?1 (: ?2 ([]))) (: ([]) ?3) ==> ! Prelude.head: empty list QRationals: Results: qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite qRound (%% -1 0) ==> ! qRound: undefined or infinite qRound (%% 0 0) ==> ! qRound: undefined or infinite qRound (%% 1 0) ==> ! qRound: undefined or infinite RealReals: Results: Transcendentals: Results: fromJust (Nothing) ==> ! Maybe.fromJust: Nothing cotR ([]) ==> ! Transcendentals.hs:(437,2)-(443,61): Non-exhaustive patterns in function asNext expR ([]) ==> ! Transcendentals.hs:(437,2)-(443,61): Non-exhaustive patterns in function asNext logR ([]) ==> ! tanR ([]) ==> ! Transcendentals.hs:(437,2)-(443,61): Non-exhaustive patterns in function asNext fromJust (Nothing) ==> ! Maybe.fromJust: Nothing algebraicAlgorithm ((,) ([]) ?) ?1 ==> ! ContinuedFractions.hs:(199,2)-(203,75): Non-exhaustive patterns in function algebraicAlgorithm case integerFraction ([]) of (,) x _ -> x ==> ! ContinuedFractions.hs:(450,2)-(455,50): Non-exhaustive patterns in function intFrac case integerFraction ([]) of (,) _ x -> x ==> ! ContinuedFractions.hs:(450,2)-(455,50): Non-exhaustive patterns in function intFrac quadraticOutput ((,) ([]) ?) ?1 ==> ! ContinuedFractions.hs:(355,2)-(366,45): Non-exhaustive patterns in function quadraticBound atanR (: -1 ([])) ==> ! atanR (: 0 ([])) ==> ! algebraicBound: denominator 0 atanR (: 1 ([])) ==> ! cotR ([]) ==> ! Transcendentals.hs:(437,2)-(443,61): Non-exhaustive patterns in function asNext cotR (: 0 ([])) ==> ! algebraicBound: denominator 0 expR ([]) ==> ! Transcendentals.hs:(437,2)-(443,61): Non-exhaustive patterns in function asNext expR (: 0 ([])) ==> ! algebraicBound: denominator 0 logR ([]) ==> ! logR (: -1 ([])) ==> ! Transcendentals.hs:(437,2)-(443,61): Non-exhaustive patterns in function asNext logR (: 0 ([])) ==> ! Writing: ContinuedFractions.hs.html Writing: Main.hs.html Writing: QRationals.hs.html Writing: RealReals.hs.html Writing: Transcendentals.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html ["ContinuedFractions.hs","Main.hs","QRationals.hs","RealReals.hs","Transcendentals.hs"]