adjust labels for thesis

Author: michaelballantyne

scribblings/reference/compiling.scrbl

@@ -8,7 +8,7 @@
 @title{Compiling Languages}
 
 @section[#:tag "reference compilers"]{Compiling references to DSL bindings within Racket code}
-@tex-label{doc:referencecompilers}
+@tex-label{doc:reference-compilers}
 
 @margin-note{@secref["compilation"] in the @secref["Basic_Tutorial__State_Machine_Language"] introduces the use of reference compilers.}
 
@@ -74,7 +74,7 @@ Another concept that comes up when discussing identifiers and compilation is pos
 During the expansion of the invocation, when a macro's transformer is running, the macro transformer will see this introduction scope on the incoming syntax. This syntax is in @deftech{negative space}. After the scope is flipped off on the result, the syntax is in @deftech{positive space}. It's important to note that positive vs negative space depends on the @emph{current} introduction scope, as there may be many introduction scopes floating around. It is also possible to manually flip this scope in a transformer to convert syntax between positive and negative space.
 
 @section{Symbol collections}
-@tex-label{doc:symboltables}
+@tex-label{doc:symbol-tables}
 
 Symbol collections allow compilers to track information related to dsl variables. Symbol collections expect to receive @tech{compiled identifiers} in @tech{negative space}.
 
@@ -206,6 +206,7 @@ Like @racket[free-id-set-intersect].
 Like @racket[free-id-set-subtract].
 
 @section{Binding Operations}
+@tex-label["doc:binding-operations"]
 
 @defproc[(compiled-identifier=? [a-id identifier?] [b-id identifier?]) boolean?]
 

scribblings/reference/specifying.scrbl

@@ -24,8 +24,6 @@ The following subsections address each kind of declaration allowed within the
 
 
 @section{Binding classes}
-@tex-label["doc:binding-classes"]
-
 
 @deftech{Binding classes} distinguish types of binding. When a reference resolves to a
 binder, it is an error if the binding class declared for the reference position
@@ -97,6 +95,7 @@ Example:
 @let-example
 
 @defform[(nonterminal/nesting id (nested-id) nonterminal-option production ...)]
+@tex-label["doc:nesting-binding"]
 
 Defines a @deftech{nesting nonterminal} supporting nested, @racket[let*]-like binding structure. Nesting nonterminals may also be used to describe complex binding structures like for @racket[match].
 
@@ -118,6 +117,7 @@ Example:
 @let*-example
 
 @defform[(nonterminal/exporting id nonterminal-option production ...)]
+@tex-label["doc:exporting-binding"]
 
 Defines an @deftech{exporting nonterminal} which can export bindings, like @racket[define] and @racket[begin].
 
@@ -252,7 +252,7 @@ When a form production's form is used outside of the context of a syntax-spec DS
 ]
 
 @section{Binding specs}
-@tex-label{doc:bindingspecs}
+@tex-label{doc:binding-specs}
 
 
 @racketgrammar*[#:literals (bind bind-syntax bind-syntaxes import re-export export export-syntax export-syntaxes nest ...)