From fe1e37d02a3c24e0e7273a24dcc783358ace0acf Mon Sep 17 00:00:00 2001 From: Steffen Forkmann Date: Wed, 31 May 2017 15:54:46 +0200 Subject: [PATCH] More types --- src/fsharp/TcGlobals.fs | 2 +- src/fsharp/TypeChecker.fs | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/fsharp/TcGlobals.fs b/src/fsharp/TcGlobals.fs index 4e8889432..1ee1e2e38 100755 --- a/src/fsharp/TcGlobals.fs +++ b/src/fsharp/TcGlobals.fs @@ -944,7 +944,7 @@ type public TcGlobals(compilingFslib: bool, ilg:ILGlobals, fslibCcu: CcuThunk, d member val tcref_LanguagePrimitives = mk_MFCore_tcref fslibCcu "LanguagePrimitives" - + member val tcref_System_Collections_Generic_List = findSysTyconRef sysGenerics "List`1" member val tcref_System_Collections_Generic_IList = findSysTyconRef sysGenerics "IList`1" member val tcref_System_Collections_Generic_IReadOnlyList = findSysTyconRef sysGenerics "IReadOnlyList`1" member val tcref_System_Collections_Generic_ICollection = findSysTyconRef sysGenerics "ICollection`1" diff --git a/src/fsharp/TypeChecker.fs b/src/fsharp/TypeChecker.fs index aad7a526b..f09f9eaa1 100755 --- a/src/fsharp/TypeChecker.fs +++ b/src/fsharp/TypeChecker.fs @@ -8233,6 +8233,8 @@ and Propagate cenv overallTy env tpenv (expr: ApplicableExpr) exprty delayed = HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IDictionary typ || HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_List typ || HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IList typ || + HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_IReadOnlyList typ || + HasHeadType cenv.g cenv.g.tcref_System_Collections_Generic_ICollection typ || isArray1DTy cenv.g typ || isListTy cenv.g typ -> -- GitLab