Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMike Gerwitz <gerwitzm@lovullo.com>2017-08-07 13:07:06 -0400
committerMike Gerwitz <gerwitzm@lovullo.com>2017-08-07 13:07:06 -0400
commit481346b2374a17c6d242b81ceeb4e6e3de2fc7ba (patch)
treec27b8df34bba553faacac87d2019bb732f8e3c66
parent450ceee2d7c3475eb359a8b0ab3a115e3715e65c (diff)
downloadtame-481346b2374a17c6d242b81ceeb4e6e3de2fc7ba.tar.gz
tame-481346b2374a17c6d242b81ceeb4e6e3de2fc7ba.tar.bz2
tame-481346b2374a17c6d242b81ceeb4e6e3de2fc7ba.zip
Include package eligibility classes during linkingv2.3.0
This is important to include all terminating classifications, which include assertions. This is essential now that @keep support has been removed; this essentially does the same thing, but in a more sane/strict manner. * src/current/compiler/linker.xsl (l:depgen)[preproc:symtable]: Include package-level eligibility class in initial dependency list.
-rw-r--r--src/current/compiler/linker.xsl5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/current/compiler/linker.xsl b/src/current/compiler/linker.xsl
index 6afa4dd..0746b2a 100644
--- a/src/current/compiler/linker.xsl
+++ b/src/current/compiler/linker.xsl
@@ -186,6 +186,11 @@
or @name = '___worksheet'
or @type = 'meta' ]" />
+ <!-- include any package-level eligibility classes, which contain
+ terminating classifications and possibly other checks -->
+ <sequence select="preproc:sym[
+ @name = ancestor::lv:package/@preproc:elig-class-yields ]" />
+
<!-- TODO: messy; refactor this symbol situation -->
<!-- this should be the sole source of outputs and, consequently,
dependencies -->