Skip to content

Commit 05d5833

Browse files
author
Ikko Eltociear Ashimine
authored
generics.tex: fix typo in generic-environments.tex
accomodates -> accommodates
1 parent 376e216 commit 05d5833

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/Generics/chapters/generic-environments.tex

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -309,7 +309,7 @@ \section{Primary Archetypes}\label{archetypesubst}
309309
\item A function that only operates on interface types should assert that the given type does not contain archetypes.
310310
\item A function that only operates on contextual types should assert that the type does not contain type parameters.
311311
\end{itemize}
312-
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.
312+
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.
313313

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

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

823-
\end{document}
823+
\end{document}

0 commit comments

Comments
 (0)