"linear" AbsCg: Results: AbsDensematrix: Results: bdroprow ([]) ==> ! Prelude.tail: empty list bgetrow -1 ? ==> ! Prelude.(!!): negative index binverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max bmult ([]) ? ==> ! Prelude.head: empty list vechd ([]) ==> ! Prelude.head: empty list vecsubscript ? -1 ==> ! Prelude.(!!): negative index vectl ([]) ==> ! Prelude.tail: empty list bdroprow ([]) ==> ! Prelude.tail: empty list bgetrow -1 ? ==> ! Prelude.(!!): negative index bgetrow 0 ([]) ==> ! Prelude.(!!): index too large bgetrow 1 ([]) ==> ! Prelude.(!!): index too large binverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max bmult ([]) ? ==> ! Prelude.head: empty list case bsize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list bsubscript ? ((,) ?1 -1) ==> ! Prelude.(!!): negative index bsubscript ? ((,) -1 0) ==> ! Prelude.(!!): negative index bsubscript ? ((,) -1 1) ==> ! Prelude.(!!): negative index vecbmult ([]) ([]) ==> ! Prelude.head: empty list vechd ([]) ==> ! Prelude.head: empty list vecsubscript ? -1 ==> ! Prelude.(!!): negative index vecsubscript ([]) 0 ==> ! Prelude.(!!): index too large vecsubscript ([]) 1 ==> ! Prelude.(!!): index too large vectl ([]) ==> ! Prelude.tail: empty list bdroprow ([]) ==> ! Prelude.tail: empty list case bgetcol -1 (: ? ?1) of x : _ -> x ==> ! Prelude.(!!): negative index case bgetcol 0 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large case bgetcol 1 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large bgetrow -1 ? ==> ! Prelude.(!!): negative index bgetrow 0 ([]) ==> ! Prelude.(!!): index too large bgetrow 1 ([]) ==> ! Prelude.(!!): index too large bgetrow 1 (: ? ([])) ==> ! Prelude.(!!): index too large binverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max binverse (: ([]) (: ? ([]))) ==> ! Prelude.(!!): index too large bmult ([]) ? ==> ! Prelude.head: empty list bmult (: ([]) ?) (: ?1 ([])) ==> ! mmult in densematrix: incompatible matrices ( bmult (: (: ? ([])) ?1) ([]) ==> ! mmult in densematrix: incompatible matrices ( case bsize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list bsubscript ? ((,) ?1 -1) ==> ! Prelude.(!!): negative index bsubscript ? ((,) -1 0) ==> ! Prelude.(!!): negative index bsubscript ([]) ((,) 0 0) ==> ! Prelude.(!!): index too large bsubscript ([]) ((,) 1 0) ==> ! Prelude.(!!): index too large bsubscript ? ((,) -1 1) ==> ! Prelude.(!!): negative index bsubscript ([]) ((,) 0 1) ==> ! Prelude.(!!): index too large bsubscript ([]) ((,) 1 1) ==> ! Prelude.(!!): index too large case bupdate ? ((,) -1 1) ?1 of x : _ -> x ==> ! Prelude.(!!): negative index vecbmult ([]) ([]) ==> ! Prelude.head: empty list vecbmult ([]) (: ? ([])) ==> ! mmult in densematrix: incompatible matrices (1,0)*(1, vecbmult ([]) (: ? (: ?1 ([]))) ==> ! mmult in densematrix: incompatible matrices (1,0)*(2, vecbmult (: ? ([])) ([]) ==> ! mmult in densematrix: incompatible matrices (1,1)*(0, vecbmult (: ? (: ?1 ([]))) ([]) ==> ! mmult in densematrix: incompatible matrices (1,2)*(0, vechd ([]) ==> ! Prelude.head: empty list vecsubscript ? -1 ==> ! Prelude.(!!): negative index vecsubscript ([]) 0 ==> ! Prelude.(!!): index too large vecsubscript ([]) 1 ==> ! Prelude.(!!): index too large vecsubscript (: ? ([])) 1 ==> ! Prelude.(!!): index too large vectl ([]) ==> ! Prelude.tail: empty list case case update2 ? ((,,) -1 ?1 -1) ((,) ?2 ?3) of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): negative index case case update2 ? ((,,) -1 ?1 0) ((,) ?2 ?3) of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): negative index case update2 ? ((,,) -1 ?1 1) ((,) ?2 ?3) of x : _ -> x ==> ! Prelude.(!!): negative index case update2 ([]) ((,,) 0 ? 1) ((,) ?1 ?2) of x : _ -> x ==> ! Prelude.(!!): index too large case update2 ([]) ((,,) 1 ? 1) ((,) ?1 ?2) of x : _ -> x ==> ! Prelude.(!!): index too large bdroprow ([]) ==> ! Prelude.tail: empty list case bgetcol -1 (: ? ?1) of x : _ -> x ==> ! Prelude.(!!): negative index case bgetcol 0 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large case bgetcol 1 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large case bgetcol 1 (: (: ? ([])) ?1) of x : _ -> x ==> ! Prelude.(!!): index too large case case bgetcol -1 (: ? (: ?1 ?2)) of _ : x -> x of x : _ -> x ==> ! Prelude.(!!): negative index bgetrow -1 ? ==> ! Prelude.(!!): negative index bgetrow 0 ([]) ==> ! Prelude.(!!): index too large bgetrow 1 ([]) ==> ! Prelude.(!!): index too large bgetrow 1 (: ? ([])) ==> ! Prelude.(!!): index too large binverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max case case binverse (: ([]) ([])) of x : _ -> x of x : _ -> x ==> ! Prelude.(!!): index too large binverse (: ([]) (: ? ([]))) ==> ! Prelude.(!!): index too large binverse (: (: -1.0 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large binverse (: (: 0.0 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large binverse (: (: 0.5 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large binverse (: (: 1.0 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large binverse (: ([]) (: ? (: ?1 ([])))) ==> ! Prelude.(!!): index too large bmult ([]) ? ==> ! Prelude.head: empty list case bmult (: ([]) ([])) ([]) of x : _ -> x ==> ! Prelude.head: empty list bmult (: ([]) ?) (: ?1 ([])) ==> ! mmult in densematrix: incompatible matrices ( bmult (: ([]) ?) (: ?1 (: ?2 ([]))) ==> ! mmult in densematrix: incompatible matrices ( bmult (: (: ? ([])) ?1) ([]) ==> ! mmult in densematrix: incompatible matrices ( bmult (: (: ? (: ?1 ([]))) ?2) ([]) ==> ! mmult in densematrix: incompatible matrices ( Absmatlib: Results: uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) ([]) ==> ! Incompatible operands to large mvmult case case doscale ([]) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case doprecond -1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 (: ?3 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult case uncondition (: ([]) ([])) (: ? ([])) of x : _ -> x ==> ! Prelude.foldl1: empty list uncondition (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 (: ?3 (: ?4 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) (: ?3 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) (: ?3 (: ?4 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) (: ?4 ([])) ==> ! Incompatible operands to large mvmult case case doscale ([]) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case doscale (: ([]) ([])) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case doscale ([]) (: ? (: ?1 ([]))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case doprecond -1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: (: ((,,) ? 1 ?1) ?2) ([])) ?3 of x : _ -> x ==> ! Prelude.head: empty list case doprecond -1 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 (: ?3 ([]))))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 (: ?3 (: ?4 ([])))))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult case uncondition (: ([]) ([])) (: ? ([])) of x : _ -> x ==> ! Prelude.foldl1: empty list uncondition (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult case uncondition (: ([]) (: ? ([]))) (: ?1 (: ?2 ([]))) of x : _ -> x ==> ! Prelude.foldl1: empty list uncondition (: ? (: ?1 ([]))) (: ?2 (: ?3 (: ?4 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 (: ?3 (: ?4 (: ?5 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) (: ?3 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) (: ?3 (: ?4 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) (: ?4 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) (: ?4 (: ?5 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 (: ?4 ([])))))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 (: ?4 ([])))))) (: ?5 ([])) ==> ! Incompatible operands to large mvmult case case doscale ([]) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case doscale (: ([]) ([])) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case doscale ([]) (: ? (: ?1 ([]))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case doscale (: ([]) ([])) (: ? (: ?1 ([]))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case case doscale ([]) (: ? (: ?1 ([]))) of (,) _ x -> x of _ : x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case doscale ([]) (: ? (: ?1 (: ?2 ([])))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case doprecond -1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: (: ((,,) ? 1 ?1) ([])) ([])) ?2 of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: (: ((,,) ? 1 ?1) ?2) ([])) ?3 of x : _ -> x ==> ! Prelude.head: empty list case doprecond -1 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: ([]) (: ([]) ([]))) ? of x : _ -> x ==> ! Prelude.head: empty list case case doprecond -1 (: ? (: ([]) ([]))) ?1 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case case doprecond 0 (: ? (: ([]) ([]))) ?1 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case case doprecond 1 (: ? (: ([]) ([]))) ?1 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case doprecond -1 (: ([]) (: ? (: ?1 ([])))) ?2 of x : _ -> x ==> ! Prelude.head: empty list case doprecond 0 (: ([]) (: ? (: ?1 ([])))) ?2 of x : _ -> x ==> ! Prelude.head: empty list case doprecond 1 (: ([]) (: ? (: ([]) ([])))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case case doprecond -1 (: ? (: ([]) (: ?1 ([])))) ?2 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case case doprecond 0 (: ? (: ([]) (: ?1 ([])))) ?2 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list Cg: Results: Densematrix: Results: droprow ([]) ==> ! Prelude.tail: empty list getrow -1 ? ==> ! Prelude.(!!): negative index minverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max mmult ([]) ? ==> ! Prelude.head: empty list vhd ([]) ==> ! Prelude.head: empty list vsubscript ? -1 ==> ! Prelude.(!!): negative index vtl ([]) ==> ! Prelude.tail: empty list droprow ([]) ==> ! Prelude.tail: empty list getrow -1 ? ==> ! Prelude.(!!): negative index getrow 0 ([]) ==> ! Prelude.(!!): index too large getrow 1 ([]) ==> ! Prelude.(!!): index too large minverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max mmult ([]) ? ==> ! Prelude.head: empty list case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list subscript ? ((,) ?1 -1) ==> ! Prelude.(!!): negative index subscript ? ((,) -1 0) ==> ! Prelude.(!!): negative index subscript ? ((,) -1 1) ==> ! Prelude.(!!): negative index vhd ([]) ==> ! Prelude.head: empty list vmmult ([]) ([]) ==> ! Prelude.head: empty list vsubscript ? -1 ==> ! Prelude.(!!): negative index vsubscript ([]) 0 ==> ! Prelude.(!!): index too large vsubscript ([]) 1 ==> ! Prelude.(!!): index too large vtl ([]) ==> ! Prelude.tail: empty list droprow ([]) ==> ! Prelude.tail: empty list case getcol -1 (: ? ?1) of x : _ -> x ==> ! Prelude.(!!): negative index case getcol 0 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large case getcol 1 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large getrow -1 ? ==> ! Prelude.(!!): negative index getrow 0 ([]) ==> ! Prelude.(!!): index too large getrow 1 ([]) ==> ! Prelude.(!!): index too large getrow 1 (: ? ([])) ==> ! Prelude.(!!): index too large minverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max minverse (: ([]) (: ? ([]))) ==> ! Prelude.(!!): index too large mmult ([]) ? ==> ! Prelude.head: empty list mmult (: ([]) ?) (: ?1 ([])) ==> ! mmult in densematrix: incompatible matrices ( mmult (: (: ? ([])) ?1) ([]) ==> ! mmult in densematrix: incompatible matrices ( case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list subscript ? ((,) ?1 -1) ==> ! Prelude.(!!): negative index subscript ? ((,) -1 0) ==> ! Prelude.(!!): negative index subscript ([]) ((,) 0 0) ==> ! Prelude.(!!): index too large subscript ([]) ((,) 1 0) ==> ! Prelude.(!!): index too large subscript ? ((,) -1 1) ==> ! Prelude.(!!): negative index subscript ([]) ((,) 0 1) ==> ! Prelude.(!!): index too large subscript ([]) ((,) 1 1) ==> ! Prelude.(!!): index too large case update ? ((,) -1 1) ?1 of x : _ -> x ==> ! Prelude.(!!): negative index vhd ([]) ==> ! Prelude.head: empty list vmmult ([]) ([]) ==> ! Prelude.head: empty list vmmult ([]) (: ? ([])) ==> ! mmult in densematrix: incompatible matrices (1,0)*(1, vmmult ([]) (: ? (: ?1 ([]))) ==> ! mmult in densematrix: incompatible matrices (1,0)*(2, vmmult (: ? ([])) ([]) ==> ! mmult in densematrix: incompatible matrices (1,1)*(0, vmmult (: ? (: ?1 ([]))) ([]) ==> ! mmult in densematrix: incompatible matrices (1,2)*(0, vsubscript ? -1 ==> ! Prelude.(!!): negative index vsubscript ([]) 0 ==> ! Prelude.(!!): index too large vsubscript ([]) 1 ==> ! Prelude.(!!): index too large vsubscript (: ? ([])) 1 ==> ! Prelude.(!!): index too large vtl ([]) ==> ! Prelude.tail: empty list droprow ([]) ==> ! Prelude.tail: empty list case getcol -1 (: ? ?1) of x : _ -> x ==> ! Prelude.(!!): negative index case getcol 0 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large case getcol 1 (: ([]) ?) of x : _ -> x ==> ! Prelude.(!!): index too large case getcol 1 (: (: ? ([])) ?1) of x : _ -> x ==> ! Prelude.(!!): index too large case case getcol -1 (: ? (: ?1 ?2)) of _ : x -> x of x : _ -> x ==> ! Prelude.(!!): negative index getrow -1 ? ==> ! Prelude.(!!): negative index getrow 0 ([]) ==> ! Prelude.(!!): index too large getrow 1 ([]) ==> ! Prelude.(!!): index too large getrow 1 (: ? ([])) ==> ! Prelude.(!!): index too large minverse ([]) ==> ! Densematrix.hs:(367,7)-(369,41): Non-exhaustive patterns in function loc_of_max case case minverse (: ([]) ([])) of x : _ -> x of x : _ -> x ==> ! Prelude.(!!): index too large minverse (: ([]) (: ? ([]))) ==> ! Prelude.(!!): index too large minverse (: (: -1.0 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large minverse (: (: 0.0 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large minverse (: (: 0.5 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large minverse (: (: 1.0 ?) (: ([]) ([]))) ==> ! Prelude.(!!): index too large minverse (: ([]) (: ? (: ?1 ([])))) ==> ! Prelude.(!!): index too large mmult ([]) ? ==> ! Prelude.head: empty list case mmult (: ([]) ([])) ([]) of x : _ -> x ==> ! Prelude.head: empty list mmult (: ([]) ?) (: ?1 ([])) ==> ! mmult in densematrix: incompatible matrices ( mmult (: ([]) ?) (: ?1 (: ?2 ([]))) ==> ! mmult in densematrix: incompatible matrices ( mmult (: (: ? ([])) ?1) ([]) ==> ! mmult in densematrix: incompatible matrices ( mmult (: (: ? (: ?1 ([]))) ?2) ([]) ==> ! mmult in densematrix: incompatible matrices ( case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list subscript ? ((,) ?1 -1) ==> ! Prelude.(!!): negative index subscript ? ((,) -1 0) ==> ! Prelude.(!!): negative index subscript ([]) ((,) 0 0) ==> ! Prelude.(!!): index too large subscript (: ([]) ?) ((,) 0 0) ==> ! Prelude.(!!): index too large subscript ([]) ((,) 1 0) ==> ! Prelude.(!!): index too large subscript (: ? ([])) ((,) 1 0) ==> ! Prelude.(!!): index too large subscript (: ? (: ([]) ?1)) ((,) 1 0) ==> ! Prelude.(!!): index too large subscript ? ((,) -1 1) ==> ! Prelude.(!!): negative index subscript ([]) ((,) 0 1) ==> ! Prelude.(!!): index too large subscript (: ([]) ?) ((,) 0 1) ==> ! Prelude.(!!): index too large subscript (: (: ? ([])) ?1) ((,) 0 1) ==> ! Prelude.(!!): index too large subscript ([]) ((,) 1 1) ==> ! Prelude.(!!): index too large subscript (: ? ([])) ((,) 1 1) ==> ! Prelude.(!!): index too large subscript (: ? (: ([]) ?1)) ((,) 1 1) ==> ! Prelude.(!!): index too large Input: Results: soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 a_hard -1 ==> ! ummm. system size to small for this model. a_hard 0 ==> ! ummm. system size to small for this model. a_hard 1 ==> ! ummm. system size to small for this model. soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 a_hard -1 ==> ! ummm. system size to small for this model. a_hard 0 ==> ! ummm. system size to small for this model. a_hard 1 ==> ! ummm. system size to small for this model. soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 a_hard -1 ==> ! ummm. system size to small for this model. a_hard 0 ==> ! ummm. system size to small for this model. a_hard 1 ==> ! ummm. system size to small for this model. soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 a_hard -1 ==> ! ummm. system size to small for this model. a_hard 0 ==> ! ummm. system size to small for this model. a_hard 1 ==> ! ummm. system size to small for this model. soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 case case case case case gmat ? of x : _ -> x of x : _ -> x of (,,) _ _ x -> x of x : _ -> x of x : _ -> x ==> ! Prelude.read: no parse a_hard -1 ==> ! ummm. system size to small for this model. a_hard 0 ==> ! ummm. system size to small for this model. a_hard 1 ==> ! ummm. system size to small for this model. soln_vect ? ==> ! Input.hs:(149,0)-(151,32): Non-exhaustive patterns in function collect_by4 case case case case case gmat ? of x : _ -> x of x : _ -> x of (,,) _ _ x -> x of x : _ -> x of x : _ -> x ==> ! Prelude.read: no parse case case case case case case gmat ? of x : _ -> x of x : _ -> x of (,,) _ _ x -> x of x : _ -> x of _ : x -> x of x : _ -> x ==> ! Prelude.read: no parse case case case case case case gmat ? of x : _ -> x of _ : x -> x of x : _ -> x of (,,) _ _ x -> x of x : _ -> x of x : _ -> x ==> ! Prelude.read: no parse a_hard -1 ==> ! ummm. system size to small for this model. a_hard 0 ==> ! ummm. system size to small for this model. a_hard 1 ==> ! ummm. system size to small for this model. Matlib: Results: uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult case precond -1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case case scale ([]) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) ([]) ==> ! Incompatible operands to large mvmult case precond -1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: (: ((,,) ? 1 ?1) ?2) ([])) ?3 of x : _ -> x ==> ! Prelude.head: empty list case precond -1 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case case scale ([]) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case scale (: ([]) ([])) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case scale ([]) (: ? (: ?1 ([]))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 (: ?3 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult case uncondition (: ([]) ([])) (: ? ([])) of x : _ -> x ==> ! Prelude.foldl1: empty list uncondition (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 (: ?3 (: ?4 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) (: ?3 ([])) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 ([])))) (: ?3 (: ?4 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 (: ?2 (: ?3 ([]))))) (: ?4 ([])) ==> ! Incompatible operands to large mvmult case precond -1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: (: ((,,) ? 1 ?1) ([])) ([])) ?2 of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: ([]) ([])) ? of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: (: ((,,) ? 1 ?1) ?2) ([])) ?3 of x : _ -> x ==> ! Prelude.head: empty list case precond -1 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) (: ? ([]))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: ([]) (: ([]) ([]))) ? of x : _ -> x ==> ! Prelude.head: empty list case case precond -1 (: ? (: ([]) ([]))) ?1 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case case precond 0 (: ? (: ([]) ([]))) ?1 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case case precond 1 (: ? (: ([]) ([]))) ?1 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case precond -1 (: ([]) (: ? (: ?1 ([])))) ?2 of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) (: ? (: ?1 ([])))) ?2 of x : _ -> x ==> ! Prelude.head: empty list case precond 1 (: ([]) (: ? (: ([]) ([])))) ?1 of x : _ -> x ==> ! Prelude.head: empty list case case precond -1 (: ? (: ([]) (: ?1 ([])))) ?2 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case case precond 0 (: ? (: ([]) (: ?1 ([])))) ?2 of _ : x -> x of x : _ -> x ==> ! Prelude.head: empty list case precond -1 (: ([]) (: ? (: ?1 (: ?2 ([]))))) ?3 of x : _ -> x ==> ! Prelude.head: empty list case precond 0 (: ([]) (: ? (: ?1 (: ?2 ([]))))) ?3 of x : _ -> x ==> ! Prelude.head: empty list case case scale ([]) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case scale (: ([]) ([])) (: ? ([])) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case scale ([]) (: ? (: ?1 ([]))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case scale (: ([]) ([])) (: ? (: ?1 ([]))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case case scale ([]) (: ? (: ?1 ([]))) of (,) _ x -> x of _ : x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix case case scale ([]) (: ? (: ?1 (: ?2 ([])))) of (,) _ x -> x of x : _ -> x ==> ! bdscl:dinverse in matrix uncondition ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 (: ?3 ([]))))) ==> ! Incompatible operands to large mvmult uncondition ([]) (: ? (: ?1 (: ?2 (: ?3 (: ?4 ([])))))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult case uncondition (: ([]) ([])) (: ? ([])) of x : _ -> x ==> ! Prelude.foldl1: empty list uncondition (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! Incompatible operands to large mvmult uncondition (: ? ([])) (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult case uncondition (: ([]) (: ? ([]))) (: ?1 (: ?2 ([]))) of x : _ -> x ==> ! Prelude.foldl1: empty list uncondition (: ? (: ?1 ([]))) (: ?2 (: ?3 (: ?4 ([])))) ==> ! Incompatible operands to large mvmult uncondition (: ? (: ?1 ([]))) (: ?2 (: ?3 (: ?4 (: ?5 ([]))))) ==> ! Incompatible operands to large mvmult Matrix: Results: getrow -1 ? ==> ! getrow: index out of bounds madd ? ?1 ==> ! unsupported matrix operation mmult ? ?1 ==> ! unsupported matrix operation msub ? ?1 ==> ! unsupported matrix operation norm ([]) ==> ! Prelude.foldl1: empty list vdot ([]) ? ==> ! Prelude.foldl1: empty list vouter ? ?1 ==> ! unsupported vector operation vsubscript -1 ? ==> ! vsubscript in matrix getrow -1 ? ==> ! getrow: index out of bounds getrow 0 ([]) ==> ! getrow: index out of bounds getrow 1 ([]) ==> ! getrow: index out of bounds madd ? ?1 ==> ! unsupported matrix operation mmult ? ?1 ==> ! unsupported matrix operation case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list msub ? ?1 ==> ! unsupported matrix operation msubscript -1 ? ?1 ==> ! getrow: index out of bounds msubscript 0 ? ([]) ==> ! getrow: index out of bounds msubscript 1 ? ([]) ==> ! getrow: index out of bounds norm ([]) ==> ! Prelude.foldl1: empty list vdot ([]) ? ==> ! Prelude.foldl1: empty list vdot (: ? ?1) ([]) ==> ! Prelude.foldl1: empty list vouter ? ?1 ==> ! unsupported vector operation vsubscript -1 ? ==> ! vsubscript in matrix vsubscript 0 ([]) ==> ! vsubscript in matrix vsubscript 1 ([]) ==> ! vsubscript in matrix getrow -1 ? ==> ! getrow: index out of bounds getrow 0 ([]) ==> ! getrow: index out of bounds getrow 1 ([]) ==> ! getrow: index out of bounds getrow 1 (: ? ([])) ==> ! getrow: index out of bounds madd ? ?1 ==> ! unsupported matrix operation mmult ? ?1 ==> ! unsupported matrix operation case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list msub ? ?1 ==> ! unsupported matrix operation msubscript -1 ? ?1 ==> ! getrow: index out of bounds msubscript 0 ? ([]) ==> ! getrow: index out of bounds msubscript 1 ? ([]) ==> ! getrow: index out of bounds msubscript 1 ? (: ?1 ([])) ==> ! getrow: index out of bounds case mupdate ? ((,) -1 1) ?1 of x : _ -> x ==> ! Prelude.(!!): negative index case mupdate ([]) ((,) 1 ?) ?1 of x : _ -> x ==> ! getrow: index out of bounds mvmult ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult mvmult ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult mvmult (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult mvmult (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult norm ([]) ==> ! Prelude.foldl1: empty list vdot ([]) ? ==> ! Prelude.foldl1: empty list vdot (: ? ?1) ([]) ==> ! Prelude.foldl1: empty list vouter ? ?1 ==> ! unsupported vector operation vsubscript -1 ? ==> ! vsubscript in matrix vsubscript 0 ([]) ==> ! vsubscript in matrix vsubscript 1 ([]) ==> ! vsubscript in matrix vsubscript 1 (: ? ([])) ==> ! vsubscript in matrix getrow -1 ? ==> ! getrow: index out of bounds getrow 0 ([]) ==> ! getrow: index out of bounds getrow 1 ([]) ==> ! getrow: index out of bounds getrow 1 (: ? ([])) ==> ! getrow: index out of bounds madd ? ?1 ==> ! unsupported matrix operation mmult ? ?1 ==> ! unsupported matrix operation case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list msub ? ?1 ==> ! unsupported matrix operation msubscript -1 ? ?1 ==> ! getrow: index out of bounds msubscript 0 ? ([]) ==> ! getrow: index out of bounds msubscript 0 ? (: ([]) ([])) ==> ! Prelude.head: empty list msubscript 0 ? (: ([]) (: ?1 ([]))) ==> ! Prelude.head: empty list msubscript 1 ? ([]) ==> ! getrow: index out of bounds msubscript 1 ? (: ?1 ([])) ==> ! getrow: index out of bounds msubscript 1 ? (: ?1 (: ([]) ([]))) ==> ! Prelude.head: empty list case case mupdate ? ((,) -1 -1) ?1 of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): negative index case case mupdate ? ((,) -1 0) ?1 of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): negative index case mupdate ? ((,) -1 1) ?1 of x : _ -> x ==> ! Prelude.(!!): negative index case mupdate ([]) ((,) 0 1) ? of x : _ -> x ==> ! Prelude.(!!): index too large case mupdate ([]) ((,) 1 ?) ?1 of x : _ -> x ==> ! getrow: index out of bounds mvmult ([]) (: ? ([])) ==> ! Incompatible operands to large mvmult mvmult ([]) (: ? (: ?1 ([]))) ==> ! Incompatible operands to large mvmult mvmult ([]) (: ? (: ?1 (: ?2 ([])))) ==> ! Incompatible operands to large mvmult mvmult (: ? ([])) ([]) ==> ! Incompatible operands to large mvmult mvmult (: ? ([])) (: ?1 (: ?2 ([]))) ==> ! Incompatible operands to large mvmult mvmult (: ? (: ?1 ([]))) ([]) ==> ! Incompatible operands to large mvmult mvmult (: ? (: ?1 ([]))) (: ?2 ([])) ==> ! Incompatible operands to large mvmult mvmult (: ? (: ?1 (: ?2 ([])))) ([]) ==> ! Incompatible operands to large mvmult norm ([]) ==> ! Prelude.foldl1: empty list vdot ([]) ? ==> ! Prelude.foldl1: empty list vdot (: ? ?1) ([]) ==> ! Prelude.foldl1: empty list vouter ? ?1 ==> ! unsupported vector operation vsubscript -1 ? ==> ! vsubscript in matrix vsubscript 0 ([]) ==> ! vsubscript in matrix vsubscript 1 ([]) ==> ! vsubscript in matrix vsubscript 1 (: ? ([])) ==> ! vsubscript in matrix getrow -1 ? ==> ! getrow: index out of bounds getrow 0 ([]) ==> ! getrow: index out of bounds getrow 1 ([]) ==> ! getrow: index out of bounds getrow 1 (: ? ([])) ==> ! getrow: index out of bounds madd ? ?1 ==> ! unsupported matrix operation mmult ? ?1 ==> ! unsupported matrix operation case msize ([]) of (,) _ x -> x ==> ! Prelude.head: empty list msub ? ?1 ==> ! unsupported matrix operation msubscript -1 ? ?1 ==> ! getrow: index out of bounds msubscript 0 ? ([]) ==> ! getrow: index out of bounds msubscript 0 ? (: ([]) ([])) ==> ! Prelude.head: empty list msubscript 0 ? (: ([]) (: ?1 ([]))) ==> ! Prelude.head: empty list msubscript 0 ? (: ([]) (: ?1 (: ?2 ([])))) ==> ! Prelude.head: empty list msubscript 1 ? ([]) ==> ! getrow: index out of bounds msubscript 1 ? (: ?1 ([])) ==> ! getrow: index out of bounds msubscript 1 ? (: ?1 (: ([]) ([]))) ==> ! Prelude.head: empty list msubscript 1 ? (: ?1 (: ([]) (: ?2 ([])))) ==> ! Prelude.head: empty list case case mupdate ? ((,) -1 -1) ?1 of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): negative index case case mupdate ? ((,) -1 0) ?1 of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): negative index case mupdate ? ((,) -1 1) ?1 of x : _ -> x ==> ! Prelude.(!!): negative index case case mupdate ([]) ((,) 0 -1) ? of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): index too large case case mupdate ([]) ((,) 0 0) ? of x : _ -> x of _ : x -> x ==> ! Prelude.(!!): index too large case mupdate ([]) ((,) 0 1) ? of x : _ -> x ==> ! Prelude.(!!): index too large Misc: Results: Utils: Results: Writing: AbsCg.hs.html Writing: AbsDensematrix.hs.html Writing: Absmatlib.hs.html Writing: Cg.hs.html Writing: Densematrix.hs.html Writing: Input.hs.html Writing: Matlib.hs.html Writing: Matrix.hs.html Writing: Misc.hs.html Writing: Utils.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html ["AbsCg.hs","AbsDensematrix.hs","Absmatlib.hs","Cg.hs","Densematrix.hs","Input.hs","Matlib.hs","Matrix.hs","Misc.hs","Utils.hs"]