--- a/src/Tools/Code/code_haskell.ML Fri Mar 16 14:46:13 2012 +0100
+++ b/src/Tools/Code/code_haskell.ML Fri Mar 16 18:20:12 2012 +0100
@@ -449,10 +449,9 @@
(** Isar setup **)
val _ =
- Outer_Syntax.command "code_monad" "define code syntax for monads" Keyword.thy_decl (
- Parse.term_group -- Parse.name >> (fn (raw_bind, target) =>
- Toplevel.theory (add_monad target raw_bind))
- );
+ Outer_Syntax.command @{command_spec "code_monad"} "define code syntax for monads"
+ (Parse.term_group -- Parse.name >> (fn (raw_bind, target) =>
+ Toplevel.theory (add_monad target raw_bind)));
val setup =
Code_Target.add_target