Feedback

Author: kerams

buildtools/fsyacc/fsyaccast.fs

@@ -2,9 +2,6 @@
 
 module FsLexYacc.FsYacc.AST
 
-#nowarn "62" // This construct is for ML compatibility.
-
-
 open System
 open System.Collections.Generic
 open Printf

buildtools/fsyacc/fsyaccpars.fs

@@ -12,9 +12,6 @@ open FSharp.Text.Parsing.ParseHelpers
 open FsLexYacc.FsYacc
 open FsLexYacc.FsYacc.AST
 
-#nowarn "62" // This construct is for ML compatibility
-
-
 # 18 "fsyaccpars.fs"
 // This type is the type of tokens accepted by the parser
 type token = 

src/Compiler/pars.fsy

@@ -172,7 +172,7 @@ let parse_error_rich = Some(fun (ctxt: ParseErrorContext<_>) ->
 %type <SynExpr> declExprBlock
 %type <SynPat> headBindingPattern
 %type <SynType> appTypeNullableInParens
-%type <SynType> atomTypeNonAtomicDeprecated
+%type <SynType> atomType
 %type <SynType> atomTypeOrAnonRecdType
 %type <SynExpr> atomicExprAfterType
 %type <SynExpr> typedSequentialExprBlock
@@ -2327,12 +2327,12 @@ opt_classDefn:
 
 /* An 'inherits' definition in an object type definition */
 inheritsDefn:
-  | INHERIT atomTypeNonAtomicDeprecated optBaseSpec
+  | INHERIT atomType optBaseSpec
      { let mDecl = unionRanges (rhs parseState 1) $2.Range
        let trivia = { InheritKeyword = rhs parseState 1 }
        SynMemberDefn.Inherit(Some $2, $3, mDecl, trivia) }
 
-  | INHERIT atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP atomicExprAfterType optBaseSpec
+  | INHERIT atomType opt_HIGH_PRECEDENCE_APP atomicExprAfterType optBaseSpec
      { let mDecl = unionRanges (rhs parseState 1) $4.Range
        let trivia = { InheritKeyword = rhs parseState 1 }
        SynMemberDefn.ImplicitInherit($2, $4, $5, mDecl, trivia) }
@@ -5142,15 +5142,15 @@ minusExpr:
   | AMP_AMP minusExpr
       { SynExpr.AddressOf(false, $2, rhs parseState 1, unionRanges (rhs parseState 1) $2.Range) }
 
-  | NEW atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP atomicExprAfterType DOT atomicExprQualification
+  | NEW atomType opt_HIGH_PRECEDENCE_APP atomicExprAfterType DOT atomicExprQualification
       { errorR (Error (FSComp.SR.parsNewExprMemberAccess (), rhs parseState 6))
         let newExpr = SynExpr.New(false, $2, $4, unionRanges (rhs parseState 1) $4.Range)
         $6 newExpr (lhs parseState) (rhs parseState 5) }
 
-  | NEW atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP atomicExprAfterType
+  | NEW atomType opt_HIGH_PRECEDENCE_APP atomicExprAfterType
       { SynExpr.New(false, $2, $4, unionRanges (rhs parseState 1) $4.Range) }
 
-  | NEW atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP error
+  | NEW atomType opt_HIGH_PRECEDENCE_APP error
       { SynExpr.New(false, $2, arbExpr ("minusExpr", (rhs parseState 4)), unionRanges (rhs parseState 1) ($2).Range) }
 
   | NEW error
@@ -5654,7 +5654,7 @@ optInlineAssemblyReturnTypes:
      { [] }
 
 recdExpr:
-  | INHERIT atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP opt_atomicExprAfterType recdExprBindings opt_seps_block
+  | INHERIT atomType opt_HIGH_PRECEDENCE_APP opt_atomicExprAfterType recdExprBindings opt_seps_block
      { let arg = match $4 with None -> mkSynUnit (lhs parseState) | Some e -> e
        let l = List.rev $5
        let dummyField = mkRecdField (SynLongIdent([], [], [])) // dummy identifier, it will be discarded
@@ -5814,18 +5814,18 @@ objExpr:
        let fullRange = match $3 with [] -> (rhs parseState 1) | _ -> (rhs2 parseState 1 3)
        fullRange, (fun m -> let (a, b) = $1 in SynExpr.ObjExpr(a, b, None, [], [], $3, mNewExpr, m)) }
 
-  | NEW atomTypeNonAtomicDeprecated
+  | NEW atomType
      { let mNewExpr = rhs parseState 1
        (rhs2 parseState 1 2), (fun m -> let (a, b) = $2, None in SynExpr.ObjExpr(a, b, None, [], [], [], mNewExpr, m)) }
 
 objExprBaseCall:
-  | NEW atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP atomicExprAfterType baseSpec
+  | NEW atomType opt_HIGH_PRECEDENCE_APP atomicExprAfterType baseSpec
      { ($2, Some($4, Some($5))) }
 
-  | NEW atomTypeNonAtomicDeprecated opt_HIGH_PRECEDENCE_APP atomicExprAfterType
+  | NEW atomType opt_HIGH_PRECEDENCE_APP atomicExprAfterType
      { ($2, Some($4, None)) }
 
-  | NEW atomTypeNonAtomicDeprecated
+  | NEW atomType
      { $2, None }
 
 
@@ -6489,13 +6489,6 @@ powerType:
            SynType.MeasurePower($1, SynRationalConst.Negate($3, m), lhs parseState)
        else SynType.MeasurePower($1, $3, lhs parseState) }
 
-
-/* Like appType but gives a deprecation error when a non-atomic type is used */
-/* Also, doesn't start with '{|'  */
-atomTypeNonAtomicDeprecated:
-  | atomType
-      { $1 }
-
 atomTypeOrAnonRecdType:
   | atomType
      { $1 }

src/FSharp.Core/prim-types-prelude.fsi

@@ -6,7 +6,6 @@
 
 #nowarn "35" // This construct is deprecated: the treatment of this operator is now handled directly by the F# compiler and its meaning may not be redefined.
 #nowarn "61" // The containing type can use <c>null</c> as a representation value for its nullary union case. This member will be compiled as a static member.
-#nowarn "62" // This construct is for ML compatibility. The syntax <c>module ... : sig .. end</c> is deprecated unless OCaml compatibility is enabled. Consider using <c>module ... = begin .. end'.
 
 // Basic F# type definitions, functions and operators.
 namespace Microsoft.FSharp.Core