diff options
Diffstat (limited to 'compatibility/6.14.nom')
| -rw-r--r-- | compatibility/6.14.nom | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/compatibility/6.14.nom b/compatibility/6.14.nom index affdabf..8443157 100644 --- a/compatibility/6.14.nom +++ b/compatibility/6.14.nom @@ -31,3 +31,11 @@ upgrade action (\(1's meaning)).stub to "6.14" via $tree -> (SyntaxTree {.source = $tree.source, .type = "Var", $tree.1}) upgrade action (log base $b of $n) to "6.14" as (log $n base $b) + +upgrade action "use" to "6.14" via + for $tree: + $path = $tree.2.1 + $path = ($path, with "%.nom$" -> "") + $path = ($path, with "^lib/" -> "") + return \(use (SyntaxTree {.source = $tree.2.source, .type="Text"} $path)) + |