galaxy[1]: /mnt/thyme/thyme/pkg/sml/bin/smld
Standard ML of New Jersey, Version 0.93, February 15, 1993
val it = () : unit
- usedbg("sumLists.ml");
[debugging support included]
val ll = [[1,2],[],[3],[4,5,6]] : int list list
[debugging support included]
val sumLists = fn : int list list -> int
[debugging support included]
val sumLists2 = fn : int list list -> int
val it = () : unit
- run "sumLists(ll)";
[ready to execute under debugger]
[dbg]- showEvents "sumLists.ml";
0	0	START	VAL
1	35	END
1	37	START	VALREC
2	20	FN
3	24	FN
3	32	APP
4	28	FN
4	40	APP
4	48	END
5	1	START	VALREC
7	4	FN
7	21	CASE
8	9	CASE
8	14	APP
8	30	CASE
8	39	APP
8	42	APP
9	9	CASE
9	11	APP
9	14	APP
9	31	APP
9	34	APP
9	37	APP
9	48	APP
9	53	END
val it = () : unit
[dbg]- ss();
[Stopped at APP event at file "<instream>" line 1 pos 8 (time 14)]
val it = () : unit
[dbg]- ss();
[Stopped at APP event at file "sumLists.ml" line 4 pos 40 (time 15)]
val it = () : unit
[dbg]- ss();
[Stopped at APP event at file "sumLists.ml" line 4 pos 40 (time 16)]
val it = () : unit
[dbg]- ss();
[Stopped at APP event at file "sumLists.ml" line 3 pos 32 (time 17)]
val it = () : unit
[dbg]- ss();
[Stopped at APP event at file "sumLists.ml" line 3 pos 32 (time 18)]
val it = () : unit
[dbg]- YS;
val it = [[3],[4,5,6]] : int list list
[dbg]- x;
std_in:23.1 Error: unbound variable or constructor: x
[dbg]- ss();
[Stopped at APP event at file "sumLists.ml" line 4 pos 40 (time 19)]
val it = () : unit
[dbg]- x
[dbg]= ;
val it = 3 : int
[dbg]- xs;
val it = [] : int list
[dbg]- YS
[dbg]= ;
val it = [[4,5,6]] : int list list
[dbg]- 
- run("sumLists(ll)");
[ready to execute under debugger]
[dbg]- forward();
[Stopped at END event at file "<instream>" line 1 pos 12 (time 26)]
val it = () : unit
[dbg]- forward();
[Stopped at END event at file "<instream>" line 1 pos 12 (time 26)]
val it = () : unit
[dbg]- abort();
[execution aborted]
- run("sumLists(ll)");
[ready to execute under debugger]
[dbg]- [execution aborted]
- galaxy-gfisher[4]: 
galaxy-gfisher[4]: