Updating documentation

usethesource · Feb 18, 2024 · 443fdbf · 443fdbf
1 parent e28c1a3
commit 443fdbf
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 4 deletions.
diff --git a/doc/TypePal/Collector/Collector.graffle b/doc/TypePal/Collector/Collector.graffle
diff --git a/doc/TypePal/Collector/Collector.png b/doc/TypePal/Collector/Collector.png
diff --git a/doc/TypePal/ConceptsAndDefinitions/ConceptsAndDefinitions.md b/doc/TypePal/ConceptsAndDefinitions/ConceptsAndDefinitions.md
@@ -11,7 +11,7 @@ The syntax of a source language may impose various restrictions on the identifie
 
 ## Tree
 
-The Rascal data type `Tree` (see [ParseTree]((Rascal::ParseTree))) is used to represent all parse trees that can be generated for any syntax described in Rascal. `Tree` is also a super type of any syntactic construct that may occur in a parse tree. In TypePal we interchangeably use `Tree` and the source area (a source location) associated with it to uniquely identify program parts, definitions, uses and scopes.
+The Rascal data type `Tree` (see [ParseTree]((../Rascal/Library::ParseTree))) is used to represent all parse trees that can be generated for any syntax described in Rascal. `Tree` is also a super type of any syntactic construct that may occur in a parse tree. In TypePal we interchangeably use `Tree` and the source area (a source location) associated with it to uniquely identify program parts, definitions, uses and scopes.
 
 ## Scope
 A _scope_ is a region of a program that delimits where definitions of identifier are applicable. An identifier is defined in the scope where it is defined and in all nested subscopes, unless one of these subscopes redefines that same identifier. In that case, the inner definition applies inside that nested scope (and its subscopes). Scopes are identified by the subtree of the parse tree that introduces them such as, for instance, a module, a function declaration or a block. Special rules may apply such as _define-before-use_ or _scopes-with-holes_.

diff --git a/doc/TypePal/Examples/Examples.md b/doc/TypePal/Examples/Examples.md
@@ -72,7 +72,7 @@ To get you started more quickly, we give below a list of complete TypePal-based
 
 ##### Aliases
 
-| *What*        |  [Struct]((examples::Struct)) extended with type aliases |
+| *What*        |  [Struct]((#Struct)) extended with type aliases |
 | --- | --- |
 | *Illustrates* | useViaType, TypePalConfig, getTypeNamesAndRole |
 | *Source*      | https://github.com/cwi-swat/typepal/tree/master/src/examples/aliases |
@@ -82,15 +82,15 @@ To get you started more quickly, we give below a list of complete TypePal-based
 ##### StaticFields
 
 
-| *What*        | [Struct]((examples::struct)) extended with fields on non-record type |
+| *What*        | [Struct]((#Struct)) extended with fields on non-record type |
 | --- | --- |
 | *Illustrates* | useViaType, TypePalConfig, getTypeNamesAndRole, getTypeInNamelessType  |
 | *Source*      | https://github.com/cwi-swat/typepal/tree/master/src/examples/staticFields |
 
 
 ##### StructParameters
 
-| *What*        | [Struct]((examples::struct)) with parameterized records |
+| *What*        | [Struct]((#Struct)) with parameterized records |
 | --- | --- |
 | *Illustrates* | useViaType, TypePalConfig, getTypeNamesAndRole, getTypeInNamelessType, instantiateTypeParameters |
 | *Source*      | https://github.com/cwi-swat/typepal/tree/master/src/examples/structParameters |

diff --git a/doc/TypePal/Solver/Solver.graffle b/doc/TypePal/Solver/Solver.graffle