Permalink
Browse files

Replace now-removed "of" syntax when declaring exceptions in cf_examples

  • Loading branch information...
mn200 committed Feb 1, 2019
1 parent 01444fe commit ff9234ce6dab5d457db7abe6790a62faff2b74b2
Showing with 2 additions and 2 deletions.
  1. +2 −2 characteristic/examples/cf_examplesScript.sml
@@ -206,7 +206,7 @@ val example_raise_spec = Q.prove (
);

val example_handle = process_topdecs
`exception Foo of int
`exception Foo int
fun example_handle x = (raise (Foo 3)) handle Foo i => i`
(* handle precedence bug in the parser? *)

@@ -231,7 +231,7 @@ val example_handle_spec = Q.prove (
);

val example_handle2 = process_topdecs
`exception Foo of int
`exception Foo int
fun example_handle2 x =
(if x > 0 then
1

0 comments on commit ff9234c

Please sign in to comment.