let minReads=(Right 0) mayRaise=[ExceptionFailure] | catch ExceptionFailure | minReads=(Right 0) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.()) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | call | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | pushValue (\x_0 -> x_0) | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | newRegister | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | iter | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2) | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | readRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | writeRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | jump | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | pushInput | | | | | minReads=(Right 0) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | j_1 | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[ExceptionFailure] | | | | | choicesBranch | | | | | minReads=(Right 0) | | | | | mayRaise=[ExceptionFailure] | | | | | | x_0)> | | | | | | | readRegister | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | call | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | call | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | commit ExceptionFailure | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | ret | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | | | | | | | fail [] | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | mayRaise=[ExceptionFailure] | | | | | pushInput | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | jump | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] let minReads=(Right 0) mayRaise=[] | pushValue (\x_0 -> \x_1 -> x_1) | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 0) mayRaise=[] | pushValue GHC.Tuple.() | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 0) mayRaise=[] | pushValue GHC.Tuple.() | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 1) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> GHC.Tuple.()) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | call | minReads=(Right 1) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[ExceptionFailure] | pushValue (\x_0 -> x_0) | minReads=(Right 0) | mayRaise=[ExceptionFailure] | newRegister | minReads=(Right 0) | mayRaise=[ExceptionFailure] | iter | minReads=(Right 0) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | call | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | readRegister | | | minReads=(Right 0) | | | mayRaise=[] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | writeRegister | | | minReads=(Right 0) | | | mayRaise=[] | | | jump | | | minReads=(Right 0) | | | mayRaise=[] | | | | | pushInput | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | readRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | pushValue GHC.Tuple.() | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | ret | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] let minReads=(Right 1) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> x_1) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | read GHC.Unicode.isSpace | minReads=(Right 1) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[] | call | minReads=(Right 0) | mayRaise=[] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 1) mayRaise=[ExceptionFailure] | read (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('1' GHC.Classes.== t_0) GHC.Classes.|| (('2' GHC.Classes.== t_0) GHC.Classes.|| (('3' GHC.Classes.== t_0) GHC.Classes.|| (('4' GHC.Classes.== t_0) GHC.Classes.|| (('5' GHC.Classes.== t_0) GHC.Classes.|| (('6' GHC.Classes.== t_0) GHC.Classes.|| (('7' GHC.Classes.== t_0) GHC.Classes.|| (('8' GHC.Classes.== t_0) GHC.Classes.|| (('9' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False)))))))))) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 2) mayRaise=[ExceptionFailure] | catch ExceptionFailure | minReads=(Right 2) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | join | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 1) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 1) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | commit ExceptionFailure | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | ret | | | | minReads=(Right 0) | | | | mayRaise=[] | | | catch ExceptionFailure | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | | | | | | | pushValue (\x_0 -> '0') | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | read ((GHC.Classes.==) '0') | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | commit ExceptionFailure | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | refJoin | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | pushInput | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | j_1 | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | choicesBranch | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | | x_0)> | | | | | | | pushValue (\x_0 -> '1') | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | read ((GHC.Classes.==) '1') | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | refJoin | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | fail [] | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | mayRaise=[ExceptionFailure] | | | | | pushInput | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | catch ExceptionFailure | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_1) | | | | | | | minReads=(Right 4) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | read ((GHC.Classes.==) '\'') | | | | | | | minReads=(Right 4) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 3) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | join | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | minReads=(Right 2) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | read ((GHC.Classes.==) '\'') | | | | | | | | minReads=(Right 2) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | minReads=(Right 1) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | call | | | | | | | | minReads=(Right 1) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | | commit ExceptionFailure | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | | ret | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | catch ExceptionFailure | | | | | | | minReads=(Right 3) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | | | | | | | minReads=(Right 3) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | read Parsers.Nandlang.nandStringLetter | | | | | | | | | minReads=(Right 3) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | call | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | commit ExceptionFailure | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | refJoin | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | minReads=(Right 4) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | j_1 | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | minReads=(Right 4) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | choicesBranch | | | | | | | | | minReads=(Right 4) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | x_0)> | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2) | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read ((GHC.Classes.==) '\\') | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 3) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read (\t_0 -> ('0' GHC.Classes.== t_0) GHC.Classes.|| (('t' GHC.Classes.== t_0) GHC.Classes.|| (('n' GHC.Classes.== t_0) GHC.Classes.|| (('v' GHC.Classes.== t_0) GHC.Classes.|| (('f' GHC.Classes.== t_0) GHC.Classes.|| (('r' GHC.Classes.== t_0) GHC.Classes.|| GHC.Types.False)))))) | | | | | | | | | | | minReads=(Right 3) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | call | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | refJoin | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | pushInput | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | j_1 | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | choicesBranch | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | x_0)> | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | call | | | | | | | | | minReads=(Right 2) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | minReads=(Right 0) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | join | | | | | | | | | minReads=(Right 0) | | | | | | | | | mayRaise=[] | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | mayRaise=[] | | | | | | | | | | ret | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | mayRaise=[] | | | | | | | | | catch ExceptionFailure | | | | | | | | | minReads=(Right 0) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> GHC.Tuple.()) | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | join | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | refJoin | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | catch ExceptionFailure | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_1) | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | call | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | join | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | call | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | catch ExceptionFailure | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.()) | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0) | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | newRegister | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | iter | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2) | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | readRegister | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | writeRegister | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | jump | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | | | | | readRegister | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | j_1 | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | choicesBranch | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | call | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> '(') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | read ((GHC.Classes.==) '(') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | call | minReads=(Right 1) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> ')') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | read ((GHC.Classes.==) ')') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | call | minReads=(Right 1) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> ',') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | read ((GHC.Classes.==) ',') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | call | minReads=(Right 1) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> ';') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | read ((GHC.Classes.==) ';') | minReads=(Right 2) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 1) | mayRaise=[ExceptionFailure] | call | minReads=(Right 1) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[] | ret | minReads=(Right 0) | mayRaise=[] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | call | minReads=(Right 2) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[ExceptionFailure] | pushValue (\x_0 -> x_0) | minReads=(Right 0) | mayRaise=[ExceptionFailure] | newRegister | minReads=(Right 0) | mayRaise=[ExceptionFailure] | iter | minReads=(Right 0) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3) | | | minReads=(Right 4) | | | mayRaise=[ExceptionFailure] | | | read ((GHC.Classes.==) '!') | | | minReads=(Right 4) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 3) | | | mayRaise=[ExceptionFailure] | | | call | | | minReads=(Right 3) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | call | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | readRegister | | | minReads=(Right 0) | | | mayRaise=[] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | writeRegister | | | minReads=(Right 0) | | | mayRaise=[] | | | jump | | | minReads=(Right 0) | | | mayRaise=[] | | | | | pushInput | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | readRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | call | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | call | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | ret | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> x_1) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | call | minReads=(Right 2) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 0) | mayRaise=[ExceptionFailure] | join | minReads=(Right 0) | mayRaise=[] | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | minReads=(Right 0) | | mayRaise=[] | | ret | | minReads=(Right 0) | | mayRaise=[] | catch ExceptionFailure | minReads=(Right 0) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> GHC.Tuple.()) | | | minReads=(Right 5) | | | mayRaise=[ExceptionFailure] | | | call | | | minReads=(Right 5) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | commit ExceptionFailure | | | minReads=(Right 0) | | | mayRaise=[] | | | refJoin | | | minReads=(Right 0) | | | mayRaise=[] | | | | | pushInput | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 0) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | call | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | refJoin | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] let minReads=(Right 2) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> x_1) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | catch ExceptionFailure | minReads=(Right 2) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_2) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | read Parsers.Nandlang.nandIdentStart | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | pushValue (\x_0 -> x_0) | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | newRegister | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | iter | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | read Parsers.Nandlang.nandIdentLetter | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | readRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | writeRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | jump | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | pushInput | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | j_1 | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | choicesBranch | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | | x_0)> | | | | | | | readRegister | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | call | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | call | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | commit ExceptionFailure | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | call | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | ret | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | | | | | | | fail [] | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | mayRaise=[ExceptionFailure] | | | | | loadInput | | | minReads=(Left ExceptionFailure) | | | mayRaise=[ExceptionFailure] | | | fail [] | | | minReads=(Left ExceptionFailure) | | | mayRaise=[ExceptionFailure] let minReads=(Right 4) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> x_3) | minReads=(Right 4) | mayRaise=[ExceptionFailure] | read ((GHC.Classes.==) '{') | minReads=(Right 4) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 3) | mayRaise=[ExceptionFailure] | call | minReads=(Right 3) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | pushValue (\x_0 -> x_0) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | newRegister | minReads=(Right 2) | mayRaise=[ExceptionFailure] | iter | minReads=(Right 2) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | join | | | minReads=(Right 0) | | | mayRaise=[] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | readRegister | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | writeRegister | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | jump | | | | minReads=(Right 0) | | | | mayRaise=[] | | | catch ExceptionFailure | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | catch ExceptionFailure | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> (GHC.Types.:) 'i' ((GHC.Types.:) 'f' GHC.Types.[])) | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | read ((GHC.Classes.==) 'i') | | | | | | | minReads=(Right 2) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | read ((GHC.Classes.==) 'f') | | | | | | | minReads=(Right 1) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | commit ExceptionFailure | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | call | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | commit ExceptionFailure | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | refJoin | | | | | | | minReads=(Right 0) | | | | | | | mayRaise=[] | | | | | | | | | | | | | loadInput | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | fail [] | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | pushInput | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | j_1 | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | choicesBranch | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | | x_0)> | | | | | | | catch ExceptionFailure | | | | | | | minReads=(Right 4) | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> x_3) | | | | | | | | | minReads=(Right 7) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | catch ExceptionFailure | | | | | | | | | minReads=(Right 7) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> (GHC.Types.:) 'w' ((GHC.Types.:) 'h' ((GHC.Types.:) 'i' ((GHC.Types.:) 'l' ((GHC.Types.:) 'e' GHC.Types.[]))))) | | | | | | | | | | | minReads=(Right 7) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read ((GHC.Classes.==) 'w') | | | | | | | | | | | minReads=(Right 7) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read ((GHC.Classes.==) 'h') | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read ((GHC.Classes.==) 'i') | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read ((GHC.Classes.==) 'l') | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 3) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | read ((GHC.Classes.==) 'e') | | | | | | | | | | | minReads=(Right 3) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | call | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | call | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | call | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | refJoin | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | loadInput | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | fail [] | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | minReads=(Right 4) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | j_1 | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | minReads=(Right 4) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | choicesBranch | | | | | | | | | minReads=(Right 4) | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | x_0)> | | | | | | | | | | | catch ExceptionFailure | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | catch ExceptionFailure | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> \x_9 -> x_8) | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | join | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0) | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | newRegister | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | iter | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2) | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | readRegister | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | writeRegister | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | jump | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | | | | | | readRegister | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) '=') | | | | | | | | | | | | | | | | | | | | minReads=(Right 6) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | minReads=(Right 5) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> x_0) | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | newRegister | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | iter | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 x_2) | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | readRegister | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | writeRegister | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | jump | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | | | | | | | | | | readRegister | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | catch ExceptionFailure | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> GHC.Tuple.()) | | | | | | | | | | | | | | | | | minReads=(Right 11) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | catch ExceptionFailure | | | | | | | | | | | | | | | | | minReads=(Right 11) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> (GHC.Types.:) 'v' ((GHC.Types.:) 'a' ((GHC.Types.:) 'r' GHC.Types.[]))) | | | | | | | | | | | | | | | | | | | minReads=(Right 11) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'v') | | | | | | | | | | | | | | | | | | | minReads=(Right 11) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 10) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'a') | | | | | | | | | | | | | | | | | | | minReads=(Right 10) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 9) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | read ((GHC.Classes.==) 'r') | | | | | | | | | | | | | | | | | | | minReads=(Right 9) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | commit ExceptionFailure | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | loadInput | | | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | | | | | minReads=(Right 8) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | loadInput | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | | | | | pushInput | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | | | | | | | | j_1 | | | | | | | | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | choicesBranch | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | x_0)> | | | | | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> x_0) | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | minReads=(Right 4) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | call | | | | | | | | | | | | | | | minReads=(Right 2) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | refJoin | | | | | | | | | | | | | | | minReads=(Right 0) | | | | | | | | | | | | | | | mayRaise=[] | | | | | | | | | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | | | | | | | fail [] | | | | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | fail [] | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | mayRaise=[ExceptionFailure] | | | | | pushInput | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | readRegister | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | read ((GHC.Classes.==) '}') | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | ret | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] let minReads=(Right 5) mayRaise=[ExceptionFailure] | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> GHC.Tuple.()) | minReads=(Right 5) | mayRaise=[ExceptionFailure] | read ((GHC.Classes.==) '[') | minReads=(Right 5) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 4) | mayRaise=[ExceptionFailure] | call | minReads=(Right 4) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 3) | mayRaise=[ExceptionFailure] | call | minReads=(Right 3) | mayRaise=[ExceptionFailure] | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | pushValue (\x_0 -> x_0) | minReads=(Right 2) | mayRaise=[ExceptionFailure] | newRegister | minReads=(Right 2) | mayRaise=[ExceptionFailure] | iter | minReads=(Right 2) | mayRaise=[ExceptionFailure] | | | | | pushValue (\x_0 -> \x_1 -> x_1) | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | call | | | minReads=(Right 1) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | readRegister | | | minReads=(Right 0) | | | mayRaise=[] | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | minReads=(Right 0) | | | mayRaise=[] | | | writeRegister | | | minReads=(Right 0) | | | mayRaise=[] | | | jump | | | minReads=(Right 0) | | | mayRaise=[] | | | | | pushInput | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | j_1 | | | _) -> i_0 GHC.Classes.== j_1) | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | choicesBranch | | | minReads=(Right 2) | | | mayRaise=[ExceptionFailure] | | | | x_0)> | | | | | readRegister | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | pushValue GHC.Tuple.() | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | read ((GHC.Classes.==) ']') | | | | | minReads=(Right 2) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 1) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | ret | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | | | | | fail [] | | | | | minReads=(Left ExceptionFailure) | | | | | mayRaise=[ExceptionFailure] pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> GHC.Show.show x_2) minReads=(Right 1) mayRaise=[ExceptionFailure] call minReads=(Right 1) mayRaise=[ExceptionFailure] lift2Value (\x_0 -> \x_1 -> x_0 x_1) minReads=(Right 0) mayRaise=[ExceptionFailure] pushValue (\x_0 -> x_0) minReads=(Right 0) mayRaise=[ExceptionFailure] newRegister minReads=(Right 0) mayRaise=[ExceptionFailure] iter minReads=(Right 0) mayRaise=[ExceptionFailure] | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> \x_8 -> x_8) | | minReads=(Right 18) | | mayRaise=[ExceptionFailure] | | catch ExceptionFailure | | minReads=(Right 18) | | mayRaise=[ExceptionFailure] | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> \x_3 -> \x_4 -> \x_5 -> \x_6 -> \x_7 -> (GHC.Types.:) 'f' ((GHC.Types.:) 'u' ((GHC.Types.:) 'n' ((GHC.Types.:) 'c' ((GHC.Types.:) 't' ((GHC.Types.:) 'i' ((GHC.Types.:) 'o' ((GHC.Types.:) 'n' GHC.Types.[])))))))) | | | | minReads=(Right 18) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'f') | | | | minReads=(Right 18) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 17) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'u') | | | | minReads=(Right 17) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 16) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'n') | | | | minReads=(Right 16) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 15) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'c') | | | | minReads=(Right 15) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 14) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 't') | | | | minReads=(Right 14) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 13) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'i') | | | | minReads=(Right 13) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 12) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'o') | | | | minReads=(Right 12) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 11) | | | | mayRaise=[ExceptionFailure] | | | | read ((GHC.Classes.==) 'n') | | | | minReads=(Right 11) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 10) | | | | mayRaise=[ExceptionFailure] | | | | commit ExceptionFailure | | | | minReads=(Right 10) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 10) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 10) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 10) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 10) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 8) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 8) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 6) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 6) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 6) | | | | mayRaise=[ExceptionFailure] | | | | join | | | | minReads=(Right 6) | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 6) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 6) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | call | | | | | minReads=(Right 4) | | | | | mayRaise=[ExceptionFailure] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | readRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | writeRegister | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | jump | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | catch ExceptionFailure | | | | minReads=(Right 6) | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | pushValue (\x_0 -> \x_1 -> \x_2 -> GHC.Tuple.()) | | | | | | minReads=(Right 8) | | | | | | mayRaise=[ExceptionFailure] | | | | | | read ((GHC.Classes.==) ':') | | | | | | minReads=(Right 8) | | | | | | mayRaise=[ExceptionFailure] | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | minReads=(Right 7) | | | | | | mayRaise=[ExceptionFailure] | | | | | | call | | | | | | minReads=(Right 7) | | | | | | mayRaise=[ExceptionFailure] | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | call | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | commit ExceptionFailure | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | refJoin | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | pushInput | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | j_1 | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | choicesBranch | | | | | | minReads=(Right 6) | | | | | | mayRaise=[ExceptionFailure] | | | | | | | x_0)> | | | | | | | | call | | | | | | | | minReads=(Right 6) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | refJoin | | | | | | | | minReads=(Right 6) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | fail [] | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | loadInput | | | | minReads=(Left ExceptionFailure) | | | | mayRaise=[ExceptionFailure] | | | | fail [] | | | | minReads=(Left ExceptionFailure) | | | | mayRaise=[ExceptionFailure] | | | pushInput | | minReads=(Right 0) | | mayRaise=[ExceptionFailure] | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | j_1 | | _) -> i_0 GHC.Classes.== j_1) | | minReads=(Right 0) | | mayRaise=[ExceptionFailure] | | choicesBranch | | minReads=(Right 0) | | mayRaise=[ExceptionFailure] | | | x_0)> | | | | readRegister | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | call | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | join | | | | minReads=(Right 0) | | | | mayRaise=[] | | | | | lift2Value (\x_0 -> \x_1 -> x_0 x_1) | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | | ret | | | | | minReads=(Right 0) | | | | | mayRaise=[] | | | | catch ExceptionFailure | | | | minReads=(Right 0) | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | catch ExceptionFailure | | | | | | minReads=(Right 0) | | | | | | mayRaise=[] | | | | | | | | | | | | | | | pushInput | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | read (\x_0 -> GHC.Types.True) | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | popValue | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | commit ExceptionFailure | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | loadInput | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | fail [] | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | loadInput | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | | pushValue GHC.Tuple.() | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | | commit ExceptionFailure | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | | refJoin | | | | | | | | minReads=(Right 0) | | | | | | | | mayRaise=[] | | | | | | | | | | | pushInput | | | | | | minReads=(Left ExceptionFailure) | | | | | | mayRaise=[ExceptionFailure] | | | | | | lift2Value (\(Data.Text.Internal.Text _ i_0 _) (Data.Text.Internal.Text _ | | | | | | j_1 | | | | | | _) -> i_0 GHC.Classes.== j_1) | | | | | | minReads=(Left ExceptionFailure) | | | | | | mayRaise=[ExceptionFailure] | | | | | | choicesBranch | | | | | | minReads=(Left ExceptionFailure) | | | | | | mayRaise=[ExceptionFailure] | | | | | | | x_0)> | | | | | | | | fail [FailureEnd] | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | | | | | | | | | fail [] | | | | | | | | minReads=(Left ExceptionFailure) | | | | | | | | mayRaise=[ExceptionFailure] | | | | | | | fail [] | | | | minReads=(Left ExceptionFailure) | | | | mayRaise=[ExceptionFailure]