;;; -*- Mode: TDL; Package: DISCO -*- ;;; :begin :type. ;; ;; the type hierarchy ;; :include "fundamentals". :include "hdtypes.tdl". :include "letypes.tdl". :include "irtypes.tdl". :include "lrtypes.tdl". :include "srtypes.tdl". :end :type. ;; ;; lexicon entries (instances of status lex-entry or generic-lex-entry) ;; :begin :instance :status lex-entry. :include "lexicon". :end :instance. :begin :instance :status generic-lex-entry. :include "generics". :end :instance. ;; ;; grammar rules and lexical rules (instances of status rule) ;; :begin :instance :status rule. :include "srules". :end :instance. :begin :instance :status lex-rule. :include "lrules". :include "inflr". :end :instance. ;; ;; parse-tree labels (instances) ;; :begin :instance. :include "labels". :end :instance. ;; ;; start symbols of the grammar (instances) ;; :begin :instance. :include "roots". :end :instance.