--- a/src/Pure/ML/ml_antiquotations.ML Sat Nov 07 00:28:42 2015 +0100
+++ b/src/Pure/ML/ml_antiquotations.ML Sat Nov 07 12:53:22 2015 +0100
@@ -16,6 +16,9 @@
"Input.source true " ^ ML_Syntax.print_string (Input.text_of source) ^ " " ^
ML_Syntax.atomic (ML_Syntax.print_range (Input.range_of source))))) #>
+ ML_Antiquotation.inline @{binding undefined}
+ (Scan.succeed "(raise General.Match)") #>
+
ML_Antiquotation.inline @{binding assert}
(Scan.succeed "(fn b => if b then () else raise General.Fail \"Assertion failed\")") #>