phc-adt-implementation.scrbl (1031B)
1 #lang scribble/manual 2 3 @title{Algebraic Data Types for compilers: Implementation} 4 @author[@author+email["Suzanne Soy" "racket@suzanne.soy"]] 5 6 This library is implemented using literate programming. The implementation 7 details are presented in the following sections. The user documentation is in 8 the @other-doc['(lib "phc-adt/scribblings/phc-adt.scrbl")] document. 9 10 @(table-of-contents) 11 12 @include-section[(submod (lib "phc-adt/adt.hl.rkt") doc)] 13 @include-section[(submod (lib "phc-adt/tagged-structure-low-level.hl.rkt") doc)] 14 @include-section[(submod (lib "phc-adt/node-low-level.hl.rkt") doc)] 15 @include-section[(submod (lib "phc-adt/ctx.hl.rkt") doc)] 16 @include-section[(submod (lib "phc-adt/tagged.hl.rkt") doc)] 17 @include-section[(submod (lib "phc-adt/tagged-supertype.hl.rkt") doc)] 18 @include-section[(submod (lib "phc-adt/structure.hl.rkt") doc)] 19 @include-section[(submod (lib "phc-adt/constructor.hl.rkt") doc)] 20 @include-section[(submod (lib "phc-adt/variant.hl.rkt") doc)] 21 @include-section[(submod "phc-adt-choices.scrbl" doc)]