diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2019-01-16 16:37:54 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2019-01-16 16:37:54 -0800 |
| commit | 2daebbff27b72c3cbae02a7cb12a4df141425784 (patch) | |
| tree | bcd712644278817a3070d6eaac5ec65214aa2c02 /lib/compatibility/6.15.nom | |
| parent | 8ca7749b5509a40256195563fa52d3ede4bd1a34 (diff) | |
Added compatibility rule for compile errors.
Diffstat (limited to 'lib/compatibility/6.15.nom')
| -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 + ") |
