From 02dd52e857d3b9754f51f45921a24f1c32729328 Mon Sep 17 00:00:00 2001
From: Isaac Abraham <isaac.abraham@gmail.com>
Date: Fri, 4 Sep 2015 11:40:50 +0200
Subject: [PATCH] Fixes #583.

---
 src/fsharp/PostInferenceChecks.fs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/fsharp/PostInferenceChecks.fs b/src/fsharp/PostInferenceChecks.fs
index 20d30bf579c..cc831a4cda8 100644
--- a/src/fsharp/PostInferenceChecks.fs
+++ b/src/fsharp/PostInferenceChecks.fs
@@ -600,7 +600,8 @@ and CheckExprInContext (cenv:cenv) (env:env) expr (context:ByrefCallContext) =
         let ty = tryMkForallTy tps rty in 
         CheckLambdas None cenv env false topValInfo false expr m ty
 
-    | Expr.TyChoose(_,e1,_)  -> 
+    | Expr.TyChoose(tps,e1,_)  -> 
+        let env = BindTypars cenv.g env tps 
         CheckExpr cenv env e1 
 
     | Expr.Match(_,_,dtree,targets,m,ty) ->