[hcoop/debian/mlton.git] / regression / callcc3.sml

open MLton open Cont

val kr: unit Cont.t option ref = ref NONE

val rr: unit ref option ref = ref NONE

val r: unit ref = ref (callcc (fn k => kr := SOME k))

val _ =
   case !rr of
      NONE =>
         (rr := SOME r
          ; throw (valOf (!kr), ()))
    | SOME r' => if r = r'
                    then raise Fail "bug"
                 else ()
Commit	Line	Data
7f918cf1 CE	1	open MLton open Cont
	2
	3	val kr: unit Cont.t option ref = ref NONE
	4
	5	val rr: unit ref option ref = ref NONE
	6
	7	val r: unit ref = ref (callcc (fn k => kr := SOME k))
	8
	9	val _ =
	10	case !rr of
	11	NONE =>
	12	(rr := SOME r
	13	; throw (valOf (!kr), ()))
	14	\| SOME r' => if r = r'
	15	then raise Fail "bug"
	16	else ()