From 9fceff7e785bb234971b443809eef3da9051c598 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 14 Jan 2019 16:30:17 -0800 Subject: Added (SyntaxTree {...} ...) shorthand for SyntaxTree{..., ...} and added some shebangs. --- compatibility/6.14.nom | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'compatibility/6.14.nom') 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)) + -- cgit v1.2.3