Caller-relative imports; smart deduping in imports

2025-01-30 17:56:46 -06:00
parent a16a24a808
commit 1a9a4494e0
19 changed files with 183 additions and 205 deletions
--- a/demos/equality.tri
+++ b/demos/equality.tri
@ -1,4 +1,5 @@
-!import "lib/base.tri" !Local
+!import "../lib/base.tri" !Local
+!import "../lib/list.tri" !Local

 main = lambdaEqualsTC

--- a/demos/levelOrderTraversal.tri
+++ b/demos/levelOrderTraversal.tri
@ -1,4 +1,5 @@
-!import "lib/base.tri" !Local
+!import "../lib/base.tri" Lib
+!import "../lib/list.tri" !Local

 main = exampleTwo
 -- Level Order Traversal of a labelled binary tree
--- a/demos/size.tri
+++ b/demos/size.tri
@ -1,4 +1,5 @@
-!import "lib/base.tri" !Local
+!import "../lib/base.tri" !Local
+!import "../lib/list.tri" !Local

 main = size size

--- a/demos/toSource.tri
+++ b/demos/toSource.tri
@ -1,4 +1,5 @@
-!import "lib/base.tri" !Local
+!import "../lib/base.tri" !Local
+!import "../lib/list.tri" !Local

 main = toSource not?
 -- Thanks to intensionality, we can inspect the structure of a given value