Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /sml/trunk/src/system/abcdef.sml
ViewVC logotype

Annotation of /sml/trunk/src/system/abcdef.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1669 - (view) (download)

1 : blume 675 structure X = struct
2 : blume 678 exception Foo
3 : mblume 1656 fun foo n : int = let
4 : blume 675 fun a (x, 0) = d x
5 :     | a (x, n) = b (x, n - 1)
6 :     and b (x, n) = c (x, n)
7 :     and c (x, n) = a (x, n)
8 :     and d x = e (x, 3)
9 : mblume 1645 (*
10 : blume 682 handle e => (print "exn\n"; raise e)
11 : mblume 1645 *)
12 : blume 675 and e (x, 0) = f x
13 :     | e (x, n) = e (x, n - 1)
14 : mblume 1669 and f 0 = (* BackTrace.trigger () *) raise Fail "triggered"
15 : blume 675 | f n = n * g (n - 1)
16 :     and g n = a (n, 3)
17 :     in
18 : mblume 1656 f n;
19 :     OS.Process.success
20 : blume 675 end
21 : mblume 1656
22 :     fun main _ =
23 :     BackTrace.monitor (fn () => foo 3)
24 : blume 675 end

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0