let <hidden>
minReads=(Right 0)
- mayRaise=[]
-| catchException "fail"
+ mayRaise=[ExceptionFailure]
+| catch ExceptionFailure
| minReads=(Right 0)
-| mayRaise=[]
+| mayRaise=[ExceptionFailure]
| | <ok>
-| | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
+| | | pushValue (\x_0 -> \x_1 -> \x_2 -> x_0 (x_1 x_2))
| | | minReads=(Right 4)
-| | | mayRaise=[]
-| | | pushValue cons
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
| | | minReads=(Right 4)
-| | | mayRaise=[]
+| | | mayRaise=[ExceptionFailure]
| | | call <hidden>
| | | minReads=(Right 4)
-| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
-| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
-| | | mayRaise=[]
+| | | mayRaise=[ExceptionFailure]
| | | call <hidden>
| | | minReads=(Right 0)
-| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | popException "fail"
+| | | commit ExceptionFailure
| | | minReads=(Right 0)
| | | mayRaise=[]
| | | ret
| | <ko>
| | | pushInput
| | | minReads=(Right 0)
-| | | mayRaise=["fail"]
-| | | lift2Value Term
+| | | 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=["fail"]
-| | | choicesBranch [(\u1 -> u1)]
+| | | mayRaise=[ExceptionFailure]
+| | | choicesBranch [(\x_0 -> x_0)]
| | | minReads=(Right 0)
-| | | mayRaise=["fail"]
+| | | mayRaise=[ExceptionFailure]
| | | | <branch>
-| | | | | pushValue (\u1 -> u1)
+| | | | | pushValue (\x_0 -> x_0)
| | | | | minReads=(Right 0)
| | | | | mayRaise=[]
| | | | | ret
| | | | | minReads=(Right 0)
| | | | | mayRaise=[]
| | | | <default>
-| | | | | raiseException "fail"
-| | | | | minReads=(Left "fail")
-| | | | | mayRaise=["fail"]
+| | | | | fail []
+| | | | | minReads=(Left ExceptionFailure)
+| | | | | mayRaise=[ExceptionFailure]
let <hidden>
minReads=(Right 4)
- mayRaise=[]
-| catchException "fail"
+ mayRaise=[ExceptionFailure]
+| catch ExceptionFailure
| minReads=(Right 4)
-| mayRaise=[]
+| mayRaise=[ExceptionFailure]
| | <ok>
-| | | pushValue cons
+| | | pushValue ((GHC.Types.:))
| | | minReads=(Right 4)
-| | | mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
| | | minReads=(Right 4)
-| | | mayRaise=["fail"]
-| | | pushValue 'a'
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ('a')
| | | minReads=(Right 4)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 4)
-| | | mayRaise=["fail"]
-| | | read ('a' ==)
+| | | mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'a')
| | | minReads=(Right 4)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | pushValue cons
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | pushValue 'b'
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ('b')
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | read ('b' ==)
+| | | mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'b')
| | | minReads=(Right 3)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | pushValue cons
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | pushValue 'c'
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ('c')
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | read ('c' ==)
+| | | mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'c')
| | | minReads=(Right 2)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | pushValue cons
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ((GHC.Types.:))
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | pushValue (\u1 -> (\u2 -> u1))
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue (\x_0 -> \x_1 -> x_0)
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | pushValue 'd'
+| | | mayRaise=[ExceptionFailure]
+| | | pushValue ('d')
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | read ('d' ==)
+| | | mayRaise=[ExceptionFailure]
+| | | read ((GHC.Classes.==) 'd')
| | | minReads=(Right 1)
-| | | mayRaise=["fail"]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | mayRaise=[ExceptionFailure]
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | pushValue Term
+| | | pushValue (GHC.Types.[])
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | lift2Value (\u1 -> (\u2 -> u1 u2))
+| | | lift2Value (\x_0 -> \x_1 -> x_0 x_1)
| | | minReads=(Right 0)
| | | mayRaise=[]
-| | | popException "fail"
+| | | commit ExceptionFailure
| | | minReads=(Right 0)
| | | mayRaise=[]
| | | ret
| | | mayRaise=[]
| | <ko>
| | | loadInput
-| | | minReads=(Left "fail")
-| | | mayRaise=["fail"]
-| | | raiseException "fail"
-| | | minReads=(Left "fail")
-| | | mayRaise=["fail"]
-pushValue Term
+| | | minReads=(Left ExceptionFailure)
+| | | mayRaise=[ExceptionFailure]
+| | | fail []
+| | | minReads=(Left ExceptionFailure)
+| | | mayRaise=[ExceptionFailure]
+pushValue (GHC.Show.show)
minReads=(Right 4)
- mayRaise=[]
-pushValue cons
+ mayRaise=[ExceptionFailure]
+pushValue ((GHC.Types.:))
minReads=(Right 4)
- mayRaise=[]
+ mayRaise=[ExceptionFailure]
call <hidden>
minReads=(Right 4)
- mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+ mayRaise=[ExceptionFailure]
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
minReads=(Right 0)
- mayRaise=[]
+ mayRaise=[ExceptionFailure]
call <hidden>
minReads=(Right 0)
- mayRaise=[]
-pushValue Term
+ mayRaise=[ExceptionFailure]
+pushValue (GHC.Types.[])
minReads=(Right 0)
mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
minReads=(Right 0)
mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
minReads=(Right 0)
mayRaise=[]
-lift2Value (\u1 -> (\u2 -> u1 u2))
+lift2Value (\x_0 -> \x_1 -> x_0 x_1)
minReads=(Right 0)
mayRaise=[]
ret