From 2daebbff27b72c3cbae02a7cb12a4df141425784 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Wed, 16 Jan 2019 16:37:54 -0800 Subject: [PATCH] Added compatibility rule for compile errors. --- lib/compatibility/6.15.nom | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/lib/compatibility/6.15.nom b/lib/compatibility/6.15.nom index a911624..72d625d 100644 --- a/lib/compatibility/6.15.nom +++ b/lib/compatibility/6.15.nom @@ -18,3 +18,9 @@ upgrade action ($lists flattened) to "6.15" as [ recurse $ on $child ..else: add $ ] + +upgrade action (compile error at $pos $msg $hint) to "6.15" as + at $pos fail (" + Compile error: \$msg + Hint: \$hint + ")