Skip to content

Commit

Permalink
generics.tex: fix typo in generic-environments.tex
Browse files Browse the repository at this point in the history
accomodates -> accommodates
  • Loading branch information
eltociear committed Jan 23, 2024
1 parent 376e216 commit 05d5833
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/Generics/chapters/generic-environments.tex
Original file line number Diff line number Diff line change
Expand Up @@ -309,7 +309,7 @@ \section{Primary Archetypes}\label{archetypesubst}
\item A function that only operates on interface types should assert that the given type does not contain archetypes.
\item A function that only operates on contextual types should assert that the type does not contain type parameters.
\end{itemize}
This scheme accomodates fully-concrete types, which contain neither type parameters nor archetypes. An example of this can be seen in the mapping operations. Mapping a type into an environment asserts that the input type does not already contain archetypes, and similarly mapping a type out of an environment asserts that the input type does not already contain type parameters. This ensures that these operations cannot be called ``just in case,'' which would be a sign of sloppy programming; callers must establish that they are working with the correct sort of type upfront with an additional check or assertion.
This scheme accommodates fully-concrete types, which contain neither type parameters nor archetypes. An example of this can be seen in the mapping operations. Mapping a type into an environment asserts that the input type does not already contain archetypes, and similarly mapping a type out of an environment asserts that the input type does not already contain type parameters. This ensures that these operations cannot be called ``just in case,'' which would be a sign of sloppy programming; callers must establish that they are working with the correct sort of type upfront with an additional check or assertion.

\section{The Type Parameter Graph}\label{type parameter graph}

Expand Down Expand Up @@ -820,4 +820,4 @@ \section{Source Code Reference}
\apiref{PrimaryArchetypeType}{class}
Subclass of \texttt{ArchetypeType} representing a primary archetype.

\end{document}
\end{document}

0 comments on commit 05d5833

Please sign in to comment.