SCM Repository
[smlnj] / sml / branches / gatien-branch / system / abcdef.sml |
View of /sml/branches/gatien-branch/system/abcdef.sml
Parent Directory | Revision Log
Revision 3026 -
(download)
(annotate)
Wed May 14 18:45:20 2008 UTC (12 years, 9 months ago) by gatien
File size: 485 byte(s)
Wed May 14 18:45:20 2008 UTC (12 years, 9 months ago) by gatien
File size: 485 byte(s)
creating branch for gatien-baron
structure X = struct exception Foo fun foo n : int = let fun a (x, 0) = d x | a (x, n) = b (x, n - 1) and b (x, n) = c (x, n) and c (x, n) = a (x, n) and d x = e (x, 3) (* handle e => (print "exn\n"; raise e) *) and e (x, 0) = f x | e (x, n) = e (x, n - 1) and f 0 = (* BackTrace.trigger () *) raise Fail "triggered" | f n = n * g (n - 1) and g n = a (n, 3) in f n; OS.Process.success end fun main _ = BackTrace.monitor (fn () => foo 3) end
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |