diff options
Diffstat (limited to 'docs/opt-coercion/fc-normalization-rta.tex')
| -rwxr-xr-x | docs/opt-coercion/fc-normalization-rta.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/opt-coercion/fc-normalization-rta.tex b/docs/opt-coercion/fc-normalization-rta.tex index c3bf41bd81..0600427e98 100755 --- a/docs/opt-coercion/fc-normalization-rta.tex +++ b/docs/opt-coercion/fc-normalization-rta.tex @@ -227,7 +227,7 @@ which has evolved from System F to System FC source-language features of \emph{GADTs}~\cite{cheney-hinze:phantom-types,sheard:omega,spj+:gadt} and \emph{type families}~\cite{Kiselyov09funwith,chak+:synonyms}. -The key feature that allows System FC to accomodate GADTs and type +The key feature that allows System FC to accommodate GADTs and type families is its use of explicit \emph{coercions} that witness the equality of two syntactically-different types. Coercions are erased before runtime but, like types, serve as a static consistency |