add general check for escaping typars to check phase

dotnet · May 12, 2015 · 53153b8 · 53153b8
1 parent 1251430
commit 53153b8
Show file tree

Hide file tree

Showing 3 changed files with 153 additions and 96 deletions.
diff --git a/src/fsharp/FSComp.txt b/src/fsharp/FSComp.txt
@@ -1341,3 +1341,5 @@ estApplyStaticArgumentsForMethodNotImplemented,"A type provider implemented GetS
 3183,ppparsUnexpectedToken,"Unexpected token '%s' in preprocessor expression"
 3184,ppparsIncompleteExpression,"Incomplete preprocessor expression"
 3185,ppparsMissingToken,"Missing token '%s' in preprocessor expression"
+3186,checkNotSufficientlyGenericBecauseOfScope,"Type inference caused the type variable %s to escape its scope. Consider adding an explicit type parameter declaration or adjusting your code to be less generic."
+3187,checkNotSufficientlyGenericBecauseOfScopeAnon,"Type inference caused an inference type variable to escape its scope. Consider adding type annotations to make your code less generic."