More types

8d9a42ea · Steffen Forkmann · 28e30374 · 8d9a42ea
隐藏空白更改
内联并排

Showing with 4 addition and 1 deletion

src/fsharp/TypeChecker.fs src/fsharp/TypeChecker.fs +4 -1

未找到文件。
--- a/src/fsharp/TypeChecker.fs
+++ b/src/fsharp/TypeChecker.fs
@@ -8231,7 +8231,10 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed =
                        let typ = d.Type
                        HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_Dictionary typ ||
                        HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IDictionary typ ||
-                        isArray1DTy cenv.g typ
+                        HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_List typ ||
+                        HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IList typ ||
+                        isArray1DTy cenv.g typ ||
+                        isListTy cenv.g typ
                        ->
                          error (NotAFunction(denv,overallTy,true,mExpr,mArg)) 
                    | _ -> error (NotAFunction(denv,overallTy,false,mExpr,mArg))