wip

Author: DedSec256

src/Compiler/SyntaxTree/ParseHelpers.fs

@@ -868,7 +868,9 @@ let mkClassMemberLocalBindings
     SynMemberDefn.LetBindings(decls, isStatic, isRec, mWhole)
 
 /// Creates a SynExprAndBang node for and! bindings in computation expressions
-let mkAndBang (mKeyword: range, pat: SynPat, returnInfo: SynBindingReturnInfo option, rhs: SynExpr, mWhole: range, mEquals: range, mIn: range option) =
+let mkAndBang
+    (mKeyword: range, pat: SynPat, returnInfo: SynBindingReturnInfo option, rhs: SynExpr, mWhole: range, mEquals: range, mIn: range option)
+    =
     let spBind = DebugPointAtBinding.Yes(unionRanges mKeyword rhs.Range)
 
     let trivia: SynBindingTrivia =

src/Compiler/SyntaxTree/ParseHelpers.fsi

@@ -209,7 +209,14 @@ val mkLetExpression:
         SynExpr
 
 val mkAndBang:
-    mKeyword: range * pat: SynPat * returnInfo: SynBindingReturnInfo option * rhs: SynExpr * mWhole: range * mEquals: range * mIn: range option -> SynBinding
+    mKeyword: range *
+    pat: SynPat *
+    returnInfo: SynBindingReturnInfo option *
+    rhs: SynExpr *
+    mWhole: range *
+    mEquals: range *
+    mIn: range option ->
+        SynBinding
 
 val mkDefnBindings:
     mWhole: range * BindingSet * attrs: SynAttributes * vis: SynAccess option * attrsm: range -> SynModuleDecl list

src/Compiler/pars.fsy

@@ -3531,15 +3531,15 @@ ceBindingCore:
       let isInline = Option.isSome $1
       let isMutable = Option.isSome $2
 
-      let ty =
+      let returnInfo =
           match tyOpt with
           | Some(colonRangeOpt, SynReturnInfo((ty, _), tym)) ->
               parseState.LexBuffer.CheckLanguageFeatureAndRecover LanguageFeature.AllowTypedLetUseAndBang ty.Range
               Some (SynBindingReturnInfo(ty, tym, [], { ColonRange = colonRangeOpt }))
           | None ->
               None
 
-      pat, mPat, isInline, isMutable, ty }
+      pat, mPat, isInline, isMutable, returnInfo }
 
 opt_simplePatterns:
   | simplePatterns