remove index references to n+k patterns
authorSimon Marlow <marlowsd@gmail.com>
Tue, 5 Jun 2012 07:39:12 +0000 (07:39 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Tue, 5 Jun 2012 07:39:12 +0000 (07:39 +0000)
Thanks: S D Swierstra <doaitse@uu.nl>

report/index-extra.verb

index edd93ba..d33e934 100644 (file)
@@ -76,7 +76,6 @@
 \index{pattern!integer|see{integer literal pattern}}
 \index{pattern!floating|see{floating literal pattern}}
 \index{pattern!linear|see{linear pattern}}
-\index{pattern!n+k@@"n@+@k"|see{"n@+@k" pattern}}
 \index{pattern!irrefutable|see{irrefutable pattern}}
 \index{pattern!refutable|see{refutable pattern}}
 \index{semantics!formal|see{formal semantics}}
@@ -95,7 +94,6 @@
 %
 \index{(aaa)@@{\tt ()}|see{trivial type and unit expression}}%
 \index{-@@{\tt  -}|hseealso{negation}}
-\index{+@@{\tt  +}|hseealso{"n@+@k" pattern}}
 \index{\\@@{\tt {\char'134}}|see{lambda abstraction}}
 \index{~@@{\tt {\char'176}}|see{irrefutable pattern}}
 \index{derived instance|hseealso{instance declaration}}