diff options
| -rw-r--r-- | lib/compatibility/6.15.nom | 6 |
1 files changed, 6 insertions, 0 deletions
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 + ") |