"rx" BackwardS: Results: backwardSpublic ? ([]) ==> ! backwardSpublic.args backwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops backwardSpublic ? ([]) ==> ! backwardSpublic.args backwardS (listToFM ? ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops backwardS (unitFM ([]) ?) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops backwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops backwardSpublic ? ([]) ==> ! backwardSpublic.args backwardSpublic (emptyFM) (: (TNFA ? ?1 ?2 ?3) ([])) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops backwardSpublic ? (: ?1 (: ?2 ([]))) ==> ! backwardSpublic.args backwardS (filterFM ? ?1 (emptyFM)) (TNFA ?2 ?3 ?4 ?5) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops CBackwardS: Results: cbackwardSpublic ? ([]) ==> ! cbackwardSpublic.args cbackwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `tracecbackward' error: value not specified error: possible values are: `on', `off' error: program stops cbackwardSpublic ? ([]) ==> ! cbackwardSpublic.args cbackwardS (listToFM ? ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `tracecbackward' error: value not specified error: possible values are: `on', `off' error: program stops cbackwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `tracecbackward' error: value not specified error: possible values are: `on', `off' error: program stops cbackwardS (unitFM ([]) ?) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `tracecbackward' error: value not specified error: possible values are: `on', `off' error: program stops cbackwardSpublic ? ([]) ==> ! cbackwardSpublic.args cbackwardSpublic (emptyFM) (: (TNFA ? ?1 ?2 ?3) ([])) ==> ! error: when looking up option `tracecbackward' error: value not specified error: possible values are: `on', `off' error: program stops cbackwardSpublic ? (: ?1 (: ?2 ([]))) ==> ! cbackwardSpublic.args cbackwardS (listToFM ? ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `tracecbackward' error: value not specified error: possible values are: `on', `off' error: program stops CForwardS: Results: cforwardSpublic ? ([]) ==> ! cforwardSpublic.args cforwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `tracecforward' error: value not specified error: possible values are: `on', `off' error: program stops cforwardSpublic ? ([]) ==> ! cforwardSpublic.args cforwardS (listToFM ? ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `tracecforward' error: value not specified error: possible values are: `on', `off' error: program stops cforwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `tracecforward' error: value not specified error: possible values are: `on', `off' error: program stops cforwardS (unitFM ([]) ?) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `tracecforward' error: value not specified error: possible values are: `on', `off' error: program stops cforwardSpublic ? ([]) ==> ! cforwardSpublic.args cforwardSpublic (emptyFM) (: (TNFA ? ?1 ?2 ?3) ([])) ==> ! error: when looking up option `tracecforward' error: value not specified error: possible values are: `on', `off' error: program stops cforwardSpublic ? (: ?1 (: ?2 ([]))) ==> ! cforwardSpublic.args CharSeq: Results: cLength (cIndent -1 (cCh ?)) ==> ! cLength (cIndent -1 (cInt ?)) ==> ! cLength (cIndent -1 (cPStr ?)) ==> ! cLength (cIndent -1 (cStr ?)) ==> ! Command: Results: Cross: Results: mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc mcross ([]) ==> ! Cross.hs:(43,4)-(44,74): Non-exhaustive patterns in function mc Defaults: Results: Exp2FA: Results: ExpParse: Results: pline ((,) (emptyFM) ?) (: 'a' ([])) ==> ! error: when looking up option `implicit' error: value not specified error: possible values are: `on', `off' error: program stops pline ((,) (emptyFM) ?) (: 'a' (: '\NUL' ?1)) ==> ! error: when looking up option `implicit' error: value not specified error: possible values are: `on', `off' error: program stops pline ((,) (emptyFM) ?) (: '0' ([])) ==> ! error: when looking up option `implicit' error: value not specified error: possible values are: `on', `off' error: program stops pline ((,) (emptyFM) ?) (: '0' (: '\NUL' ?1)) ==> ! error: when looking up option `implicit' error: value not specified error: possible values are: `on', `off' error: program stops FA: Results: FA2Exp: Results: FAcheat: Results: cheat (TNFA ? ?1 (emptySet) ?2) ==> ! cheat.prod cheat (TNFA ? ?1 (emptySet) ?2) ==> ! cheat.prod cheat (TNFA ? ?1 (filterSet ?2 ?3 (emptySet)) ?4) ==> ! cheat.prod cheat (TNFA ? ?1 (intersectManySets ?2 ([])) ?3) ==> ! cheat.prod cheat (TNFA ? ?1 (intersectSet ?2 ?3 (emptySet)) ?4) ==> ! cheat.prod cheat (TNFA ? ?1 (mapSet ?2 ?3 (emptySet)) ?4) ==> ! cheat.prod cheat (TNFA ? ?1 (minusSet ?2 (emptySet) ?3) ?4) ==> ! cheat.prod cheat (TNFA ? ?1 (mkSet ?2 ([])) ?3) ==> ! cheat.prod cheat (TNFA ? ?1 (singletonSet ?2) (emptyFM)) ==> ! cheat.prod cheat (TNFA ? ?1 (unionManySets ?2 ([])) ?3) ==> ! cheat.prod cheat (TNFA ? ?1 (unitSet ?2) (emptyFM)) ==> ! cheat.prod FAcmpct: Results: FAcon: Results: conTNFA (emptyFM) ? ?1 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops conTNFA (emptyFM) ? ?1 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops conTNFA (listToFM ? ([])) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops conTNFA (mapFM ? (emptyFM)) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops conTNFA (unitFM ([]) ?) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops conTNFA (addListToFM ? (emptyFM) ([])) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAconv: Results: FAdet: Results: FAhom: Results: homTNFA ? ?1 (emptyFM) ?2 (TNFA ?3 ?4 ?5 ?6) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops homTNFA ? ?1 (emptyFM) ?2 (TNFA ?3 ?4 ?5 ?6) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops homTNFA ? ?1 (listToFM ?2 ([])) ?3 (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops homTNFA ? ?1 (unitFM ([]) ?2) ?3 (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAintersect: Results: intersectTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops intersectTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops intersectTNFA (delFromFM ? (emptyFM) ?1) (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops intersectTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops intersectTNFA (filterFM ? ?1 (emptyFM)) (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops intersectTNFA (intersectFM ? ?1 (emptyFM)) (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAkeepcons: Results: FAkeepst: Results: FAlquotient: Results: lquotientTNFApublic ? ([]) ==> ! lquotientTNFApublic.args lquotientTNFApublic ? ([]) ==> ! lquotientTNFApublic.args lquotientTNFApublic ? (: ?1 ([])) ==> ! lquotientTNFApublic.args lquotientTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) (TNFA ?5 ?6 ?7 ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops lquotientTNFApublic ? ([]) ==> ! lquotientTNFApublic.args lquotientTNFApublic ? (: ?1 ([])) ==> ! lquotientTNFApublic.args lquotientTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! lquotientTNFApublic.args lquotientTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) (TNFA ?5 ?6 ?7 ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops lquotientTNFA (listToFM ? ([])) ?1 (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops lquotientTNFA (unitFM ([]) ?) ?1 (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops lquotientTNFApublic ? ([]) ==> ! lquotientTNFApublic.args lquotientTNFApublic ? (: ?1 ([])) ==> ! lquotientTNFApublic.args lquotientTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! lquotientTNFApublic.args FAmap: Results: FAmin: Results: FAminus: Results: minusTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops minusTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops minusTNFA (delFromFM ? (emptyFM) ?1) (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops minusTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) (TNFA ?4 ?5 ?6 ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops minusTNFA (filterFM ? ?1 (emptyFM)) (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops minusTNFA (intersectFM ? ?1 (emptyFM)) (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAneg: Results: negTNFA (emptyFM) ? ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops negTNFA (emptyFM) ? ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops negTNFA (delFromFM ? (emptyFM) ?1) ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops negTNFA (emptyFM) ? ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops negTNFA (filterFM ? ?1 (emptyFM)) ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops negTNFA (intersectFM ? ?1 (emptyFM)) ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops negTNFA (listToFM ? ([])) ?1 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FArquotient: Results: rquotientTNFApublic ? ([]) ==> ! rquotientTNFApublic.args rquotientTNFApublic ? ([]) ==> ! rquotientTNFApublic.args rquotientTNFApublic ? (: ?1 ([])) ==> ! rquotientTNFApublic.args rquotientTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) (TNFA ?5 ?6 ?7 ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops rquotientTNFApublic ? ([]) ==> ! rquotientTNFApublic.args rquotientTNFApublic ? (: ?1 ([])) ==> ! rquotientTNFApublic.args rquotientTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! rquotientTNFApublic.args rquotientTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) (TNFA ?5 ?6 ?7 ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops rquotientTNFA (listToFM ? ([])) ?1 (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops rquotientTNFA (unitFM ([]) ?) ?1 (TNFA ?2 ?3 ?4 ?5) (TNFA ?6 ?7 ?8 ?9) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops rquotientTNFApublic ? ([]) ==> ! rquotientTNFApublic.args rquotientTNFApublic ? (: ?1 ([])) ==> ! rquotientTNFApublic.args rquotientTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! rquotientTNFApublic.args FAstar: Results: starTNFApublic ? ([]) ==> ! starTNFApublic.args starTNFApublic ? ([]) ==> ! starTNFApublic.args starTNFApublic ? (: ?1 ([])) ==> ! starTNFApublic.args starTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ?5 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops starTNFApublic ? ([]) ==> ! starTNFApublic.args starTNFApublic ? (: ?1 ([])) ==> ! starTNFApublic.args starTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! starTNFApublic.args starTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ?5 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops starTNFA (listToFM ? ([])) ?1 (TNFA ?2 ?3 ?4 ?5) ?6 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops starTNFA (mapFM ? (emptyFM)) ?1 (TNFA ?2 ?3 ?4 ?5) ?6 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops starTNFA (unitFM ([]) ?) ?1 (TNFA ?2 ?3 ?4 ?5) ?6 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops starTNFApublic ? ([]) ==> ! starTNFApublic.args starTNFApublic ? (: ?1 ([])) ==> ! starTNFApublic.args starTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! starTNFApublic.args FAsubtrans: Results: FAtimes: Results: timesTNFApublic ? ([]) ==> ! timesTNFApublic.args timesTNFApublic ? ([]) ==> ! timesTNFApublic.args timesTNFApublic ? (: ?1 ([])) ==> ! timesTNFApublic.args timesTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ?5 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops timesTNFApublic ? ([]) ==> ! timesTNFApublic.args timesTNFApublic ? (: ?1 ([])) ==> ! timesTNFApublic.args timesTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! timesTNFApublic.args timesTNFA (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ?5 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops timesTNFA (listToFM ? ([])) ?1 (TNFA ?2 ?3 ?4 ?5) ?6 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops timesTNFA (mapFM ? (emptyFM)) ?1 (TNFA ?2 ?3 ?4 ?5) ?6 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops timesTNFA (unitFM ([]) ?) ?1 (TNFA ?2 ?3 ?4 ?5) ?6 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops timesTNFApublic ? ([]) ==> ! timesTNFApublic.args timesTNFApublic ? (: ?1 ([])) ==> ! timesTNFApublic.args timesTNFApublic ? (: ?1 (: ?2 ([]))) ==> ! timesTNFApublic.args FAtypes: Results: trinfo (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops trinfo (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops trinfo (delFromFM ? (emptyFM) ?1) ?2 (TNFA ?3 ?4 ?5 ?6) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops trinfo (emptyFM) ? (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops trinfo (filterFM ? ?1 (emptyFM)) ?2 (TNFA ?3 ?4 ?5 ?6) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops trinfo (intersectFM ? ?1 (emptyFM)) ?2 (TNFA ?3 ?4 ?5 ?6) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAunify: Results: unifyTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unifyTNFA (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unifyTNFA (listToFM ? ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unifyTNFA (mapFM ? (emptyFM)) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unifyTNFA (unitFM ([]) ?) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unifyTNFA (addListToFM ? (emptyFM) ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAunion: Results: unionTNFA (emptyFM) ? ?1 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unionTNFA (emptyFM) ? ?1 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unionTNFA (listToFM ? ([])) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unionTNFA (mapFM ? (emptyFM)) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unionTNFA (unitFM ([]) ?) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops unionTNFA (addListToFM ? (emptyFM) ([])) ?1 ?2 ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops FAuseful: Results: prods ? (singletonSet (Id ?1 ?2 (Nothing) ?3 ?4 ?5 ?6)) ?7 ==> ! no arity for prods ? (unitSet (Id ?1 ?2 (Nothing) ?3 ?4 ?5 ?6)) ?7 ==> ! no arity for FiniteMap: Results: ForwardS: Results: forwardSpublic ? ([]) ==> ! forwardSpublic.args forwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops forwardSpublic ? ([]) ==> ! forwardSpublic.args forwardS (emptyFM) (TNFA ? ?1 ?2 ?3) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops forwardS (listToFM ? ([])) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops forwardS (unitFM ([]) ?) (TNFA ?1 ?2 ?3 ?4) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops forwardSpublic ? ([]) ==> ! forwardSpublic.args forwardSpublic (emptyFM) (: (TNFA ? ?1 ?2 ?3) ([])) ==> ! error: when looking up option `reuse' error: value not specified error: possible values are: `on', `off' error: program stops forwardSpublic ? (: ?1 (: ?2 ([]))) ==> ! forwardSpublic.args Gen: Results: genval ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp Gram2FA: Results: Grammar: Results: Heave: Results: Heuristic: Results: heu (emptyFM) (: ? ?1) (Coll ?2 ?3) ==> ! error: when looking up option ` heu (emptyFM) (: ? ?1) (App (Id ([]) ?2 ?3 ?4 ?5 ?6 ?7) ?8) ==> ! error: when looking up option ` heu (emptyFM) (: ? ?1) (Coll ?2 ?3) ==> ! error: when looking up option ` heu (listToFM ? ([])) (: ?1 ?2) (Coll ?3 ?4) ==> ! error: when looking up option ` heu (emptyFM) (: ? ?1) (App (Id ([]) ?2 ?3 ?4 ?5 ?6 ?7) ?8) ==> ! error: when looking up option ` heu (listToFM ? ([])) (: ?1 ?2) (App (Id ([]) ?3 ?4 ?5 ?6 ?7 ?8) ?9) ==> ! error: when looking up option ` IdStack: Results: mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) mkglobs (globIS ?) ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) mkglobs emptyIS ==> ! cannot make globals (local stack empty) poplocs emptyIS ==> ! cannot pop locals (stack empty) poplocs (globIS ?) ==> ! cannot pop locals (stack empty) Ids: Results: changeprec emptyIT ? ?1 ?2 ==> ! cannot change precedence of: idarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for ppfn (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops ppop (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops setarity emptyIT ? ?1 ==> ! setarity: id doesn't exist: setform emptyIT ? ?1 ==> ! setform: id doesn't exist: changeprec emptyIT ? ?1 ?2 ==> ! cannot change precedence of: changeprec (inIts ([])) ? ?1 ?2 ==> ! cannot change precedence of: idarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for Instance: Results: instpublic ? ([]) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 ([])))))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 ([])))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 ([]))))))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 ([])))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 ([]))))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 (: ?17 ([])))))))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 ([])))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 ([]))))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 (: ?17 ([])))))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 (: ?17 (: ?18 ([]))))))))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 ([])))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 ([]))))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 (: ?17 ([])))))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 (: ?17 (: ?18 ([]))))))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 (: ?16 (: ?17 (: ?18 (: ?19 ([])))))))))))))))))))) ==> ! instpublic.args instpublic ? ([]) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 ([]))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 ([])))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 ([]))))))))))))))) ==> ! instpublic.args instpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 (: ?13 (: ?14 (: ?15 ([])))))))))))))))) ==> ! instpublic.args Lex: Results: Loop: Results: Maybes: Results: expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust the (Nothing) ==> ! the expectJust ? (Nothing) ==> ! expectJust listMaybeErrs (: (Succeeded ?) (: (Succeeded ?1) (: (Succeeded ?2) (: (Succeeded ?3) (: (Failed ?4) (: (Failed ?5) ?6)))))) ==> ! Options: Results: caseopts ? ?1 ([]) ==> ! error: when looking up option ` chose (emptyFM) ? ?1 ?2 ==> ! error: when looking up option ` getopt (emptyFM) ? ==> ! no argument for option: maybeIO ? (emptyFM) ?1 ==> ! error: when looking up option `output' error: value not specified error: possible values are: `on', `off' error: program stops onoff (emptyFM) ? ==> ! error: when looking up option ` troff (emptyFM) ? ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops caseopts ? ?1 ([]) ==> ! error: when looking up option ` caseopts (emptyFM) ? (: ((,) ?1 ?2) ?3) ==> ! error: when looking up option ` PI: Results: Parse: Results: many (succeed ?) ?1 ?2 ==> ! Prec: Results: glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) (: (Right ?4) ?5))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right (Id ?3 ?4 ?5 ?6 ?7 (Nothing) ?8)) (: (Left ?9) ?10))))) ==> ! operator has no precedence: glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) (: (Right ?4) ?5))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right (Id ?3 ?4 ?5 ?6 ?7 (Nothing) ?8)) (: (Left ?9) ?10))))) ==> ! operator has no precedence: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) (: (Right ?4) ?5))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right (Id ?3 ?4 ?5 ?6 ?7 (Nothing) ?8)) (: (Left ?9) ?10))))) ==> ! operator has no precedence: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) (: (Right ?4) ?5))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right (Id ?3 ?4 ?5 ?6 ?7 (Nothing) ?8)) (: (Left ?9) ?10))))) ==> ! operator has no precedence: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id (: ?1 ?2) ?3 ?4 ?5 ?6 (Just -1) ?7)) (: (Left ?8) (: (Right (Id ([]) ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: , glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just -1) ?5)) (: (Left ?6) (: (Right (Id (: ?7 ?8) ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 0) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just -1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id (: ?1 ?2) ?3 ?4 ?5 ?6 (Just 0) ?7)) (: (Left ?8) (: (Right (Id ([]) ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: , glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just 0) ?5)) (: (Left ?6) (: (Right (Id (: ?7 ?8) ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just -1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 0) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id (: ?1 ?2) ?3 ?4 ?5 ?6 (Just 1) ?7)) (: (Left ?8) (: (Right (Id ([]) ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: , glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just 1) ?5)) (: (Left ?6) (: (Right (Id (: ?7 ?8) ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) (: (Right ?4) ?5))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Right ?2) ?3))) ==> ! strange case for handle: handle.inp : [Right glue (: (Right ?) ?1) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue ([]) ==> ! Prec.hs:(24,0)-(28,49): Non-exhaustive patterns in function glue glue (: (Left ?) (: (Left ?1) ?2)) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) ([]))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Left ?3) ?4)))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right ?3) ([]))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right ?1) (: (Left ?2) (: (Right (Id ?3 ?4 ?5 ?6 ?7 (Nothing) ?8)) (: (Left ?9) ?10))))) ==> ! operator has no precedence: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just -1) Nn)) (: (Left ?5) (: (Right (Id ([]) ?6 ?7 ?8 ?9 (Just -1) ?10)) (: (Left ?11) ?12))))) ==> ! not associative at all: glue (: (Left ?) (: (Right (Id (: ?1 ?2) ?3 ?4 ?5 ?6 (Just -1) ?7)) (: (Left ?8) (: (Right (Id ([]) ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: , glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just -1) ?5)) (: (Left ?6) (: (Right (Id (: ?7 ?8) ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 0) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 0) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) (: (Right ?15) ([]))))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just -1) ?13)) (: (Left ?14) (: (Right ?15) ([]))))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! the glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just -1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just -1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) (: (Right ?15) ([]))))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just 0) Nn)) (: (Left ?5) (: (Right (Id ([]) ?6 ?7 ?8 ?9 (Just 0) ?10)) (: (Left ?11) ?12))))) ==> ! not associative at all: glue (: (Left ?) (: (Right (Id (: ?1 ?2) ?3 ?4 ?5 ?6 (Just 0) ?7)) (: (Left ?8) (: (Right (Id ([]) ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: , glue (: (Left ?) (: (Right (Id ([]) ?1 ?2 ?3 ?4 (Just 0) ?5)) (: (Left ?6) (: (Right (Id (: ?7 ?8) ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) ?15))))) ==> ! same precedences: glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) (: (Left ?15) ?16)))))) ==> ! strange case for handle: handle.inp : [Left glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Just 1) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 0) ?13)) (: (Left ?14) (: (Right ?15) ([]))))))) ==> ! strange case for handle: handle.inp : [Right glue (: (Left ?) (: (Right (Id ?1 ?2 ?3 ?4 ?5 (Nothing) ?6)) (: (Left ?7) (: (Right (Id ?8 ?9 ?10 ?11 ?12 (Just 1) ?13)) (: (Left ?14) ?15))))) ==> ! the Pretty: Results: PrettyClass: Results: alBraces (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alBrackets (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alParens (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alBraces (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alBraces (listToFM ? ([])) ?1 ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alBraces (mapFM ? (emptyFM)) ?1 ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alBraces (unitFM ([]) ?) ?1 ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops alBrackets (emptyFM) ? ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops Reader: Results: rg ([]) ==> ! Reader.hs:32:1-38: Irrefutable pattern failed for pattern (Data.Maybe.Just x, _) Reuse: Results: SaturnS: Results: saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 ([]))))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 ([])))))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 (: ?10 (: ?11 (: ?12 ([]))))))))))))) ==> ! saturnSpublic.args saturnSpublic ? ([]) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 ([]))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 ([])))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 ([]))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 ([])))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 ([]))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 ([])))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 ([]))))))))) ==> ! saturnSpublic.args saturnSpublic ? (: ?1 (: ?2 (: ?3 (: ?4 (: ?5 (: ?6 (: ?7 (: ?8 (: ?9 ([])))))))))) ==> ! saturnSpublic.args Semantik: Results: comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp docomp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp forceFIO (oops ?) ==> ! error (FIO): vargs ? ?1 (: (Coll ?2 ?3) ?4) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp docomp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp forceFIO (oops ?) ==> ! error (FIO): vargs ? ?1 (: (Coll ?2 ?3) ?4) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp vargs ? ?1 (: (Coll ?2 ?3) ?4) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp forceFIO (moops True ?) ==> ! error (FIO): vargs ? ?1 (: (Coll ?2 ?3) ?4) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp vargs ? ?1 (: (Coll ?2 ?3) ?4) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp vargs ? ?1 (: (Coll ?2 ?3) ?4) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp comp (emptyFM) ? (App (Id ([]) ?1 ?2 ?3 ?4 ?5 ?6) ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops comp (emptyFM) ? (App (Id (: '\NUL' ?1) ?2 ?3 ?4 ?5 ?6 ?7) ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops comp (emptyFM) ? (App (Id (: 'a' ?1) ?2 ?3 ?4 ?5 ?6 ?7) ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops comp (emptyFM) ? (App (Id (: '0' ?1) ?2 ?3 ?4 ?5 ?6 ?7) ?8) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops comp ? ?1 (Coll ?2 ?3) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp docomp (emptyFM) ? (App (Id ([]) ?1 ?2 ?3 ?4 ?5 ?6) ?7) ==> ! error: when looking up option `trace' error: value not specified error: possible values are: `on', `off' error: program stops Set: Results: Sorters: Results: State: Results: Stuff: Results: the (Nothing) ==> ! the the (Nothing) ==> ! the zippy ([]) (: ? ?1) ==> ! zippy: unequal lengths zippy (: ? ?1) ([]) ==> ! zippy: unequal lengths packs -1 -1 ? ?1 ==> ! Syntax: Results: appArgs (Coll ? ?1) ==> ! Syntax.hs:55:0-27: Non-exhaustive patterns in function appArgs appId (Coll ? ?1) ==> ! Syntax.hs:54:0-23: Non-exhaustive patterns in function appId cArgs (App ? ?1) ==> ! Syntax.hs:52:0-21: Non-exhaustive patterns in function cArgs cType (App ? ?1) ==> ! Syntax.hs:51:0-21: Non-exhaustive patterns in function cType unAppId (Coll ? ?1) ==> ! unAppId appArgs (Coll ? ?1) ==> ! Syntax.hs:55:0-27: Non-exhaustive patterns in function appArgs appId (Coll ? ?1) ==> ! Syntax.hs:54:0-23: Non-exhaustive patterns in function appId cArgs (App ? ?1) ==> ! Syntax.hs:52:0-21: Non-exhaustive patterns in function cArgs cType (App ? ?1) ==> ! Syntax.hs:51:0-21: Non-exhaustive patterns in function cType unAppId (App ? (: ?1 ?2)) ==> ! unAppId unAppId (Coll ? ?1) ==> ! unAppId appArgs (Coll ? ?1) ==> ! Syntax.hs:55:0-27: Non-exhaustive patterns in function appArgs appId (Coll ? ?1) ==> ! Syntax.hs:54:0-23: Non-exhaustive patterns in function appId cArgs (App ? ?1) ==> ! Syntax.hs:52:0-21: Non-exhaustive patterns in function cArgs cType (App ? ?1) ==> ! Syntax.hs:51:0-21: Non-exhaustive patterns in function cType unAppId (App ? (: ?1 ?2)) ==> ! unAppId unAppId (Coll ? ?1) ==> ! unAppId appArgs (Coll ? ?1) ==> ! Syntax.hs:55:0-27: Non-exhaustive patterns in function appArgs appId (Coll ? ?1) ==> ! Syntax.hs:54:0-23: Non-exhaustive patterns in function appId cArgs (App ? ?1) ==> ! Syntax.hs:52:0-21: Non-exhaustive patterns in function cArgs cType (App ? ?1) ==> ! Syntax.hs:51:0-21: Non-exhaustive patterns in function cType pr $fPrettyClassExp (emptyFM) (App ? ([])) ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops pr $fPrettyClassExp (emptyFM) (Coll CSet ?) ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops pr $fPrettyClassExp (emptyFM) (Coll CList ?) ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops pr $fPrettyClassExp (emptyFM) (Coll CTuple ?) ==> ! error: when looking up option `code' error: value not specified error: possible values are: `plain', `latex' error: program stops unAppId (App ? (: ?1 ?2)) ==> ! unAppId unAppId (Coll ? ?1) ==> ! unAppId TA: Results: tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for tconarity (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ==> ! no arity for starity (mksterm (Id ? ?1 (Nothing) ?2 ?3 ?4 ?5) ?6) ==> ! no arity for Trace: Results: WrapSubtrans: Results: subtrans ? ?1 (: (App ?2 ?3) (: (Coll ?4 ?5) ([]))) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp subtrans ? ?1 (: (App ?2 ?3) (: (Coll ?4 ?5) ([]))) ==> ! Semantik.hs:(118,0)-(145,2): Non-exhaustive patterns in function comp Writing: BackwardS.hs.html Writing: CBackwardS.hs.html Writing: CForwardS.hs.html Writing: CharSeq.hs.html Writing: Command.hs.html Writing: Cross.hs.html Writing: Defaults.hs.html Writing: Exp2FA.hs.html Writing: ExpParse.hs.html Writing: FA.hs.html Writing: FA2Exp.hs.html Writing: FAcheat.hs.html Writing: FAcmpct.hs.html Writing: FAcon.hs.html Writing: FAconv.hs.html Writing: FAdet.hs.html Writing: FAhom.hs.html Writing: FAintersect.hs.html Writing: FAkeepcons.hs.html Writing: FAkeepst.hs.html Writing: FAlquotient.hs.html Writing: FAmap.hs.html Writing: FAmin.hs.html Writing: FAminus.hs.html Writing: FAneg.hs.html Writing: FArquotient.hs.html Writing: FAstar.hs.html Writing: FAsubtrans.hs.html Writing: FAtimes.hs.html Writing: FAtypes.hs.html Writing: FAunify.hs.html Writing: FAunion.hs.html Writing: FAuseful.hs.html Writing: FiniteMap.hs.html Writing: ForwardS.hs.html Writing: Gen.hs.html Writing: Gram2FA.hs.html Writing: Grammar.hs.html Writing: Heave.hs.html Writing: Heuristic.hs.html Writing: IdStack.hs.html Writing: Ids.hs.html Writing: Instance.hs.html Writing: Lex.hs.html Writing: Loop.hs.html Writing: Main.hs.html Writing: Maybes.hs.html Writing: Options.hs.html Writing: PI.hs.html Writing: Parse.hs.html Writing: Prec.hs.html Writing: Pretty.hs.html Writing: PrettyClass.hs.html Writing: Reader.hs.html Writing: Reuse.hs.html Writing: SaturnS.hs.html Writing: Semantik.hs.html Writing: Set.hs.html Writing: Sorters.hs.html Writing: State.hs.html Writing: Stuff.hs.html Writing: Syntax.hs.html Writing: TA.hs.html Writing: Trace.hs.html Writing: WrapSubtrans.hs.html Writing: hpc_index.html Writing: hpc_index_fun.html Writing: hpc_index_alt.html Writing: hpc_index_exp.html ["BackwardS.hs","CBackwardS.hs","CForwardS.hs","CharSeq.hs","Command.hs","Cross.hs","Defaults.hs","Exp2FA.hs","ExpParse.hs","FA.hs","FA2Exp.hs","FAcheat.hs","FAcmpct.hs","FAcon.hs","FAconv.hs","FAdet.hs","FAhom.hs","FAintersect.hs","FAkeepcons.hs","FAkeepst.hs","FAlquotient.hs","FAmap.hs","FAmin.hs","FAminus.hs","FAneg.hs","FArquotient.hs","FAstar.hs","FAsubtrans.hs","FAtimes.hs","FAtypes.hs","FAunify.hs","FAunion.hs","FAuseful.hs","FiniteMap.hs","ForwardS.hs","Gen.hs","Gram2FA.hs","Grammar.hs","Heave.hs","Heuristic.hs","IdStack.hs","Ids.hs","Instance.hs","Lex.hs","Loop.hs","Maybes.hs","Options.hs","PI.hs","Parse.hs","Prec.hs","Pretty.hs","PrettyClass.hs","RX.hs","Reader.hs","Reuse.hs","SaturnS.hs","Semantik.hs","Set.hs","Sorters.hs","State.hs","Stuff.hs","Syntax.hs","TA.hs","Trace.hs","WrapSubtrans.hs"]