@@ -147,7 +147,7 @@ toReport source err =
147 case err of
147 case err of
148 AnnotationTooShort region name index leftovers ->
148 AnnotationTooShort region name index leftovers ->
150− numTypeArgs = Index.toHuman index
150+ numTypeArgs = Index.toMachine index
151 numDefArgs = numTypeArgs + leftovers
151 numDefArgs = numTypeArgs + leftovers
153 Report.Report "BAD TYPE ANNOTATION" region [] $
153 Report.Report "BAD TYPE ANNOTATION" region [] $