add tests to verify correct usage of new argument on AllowNullLiteral…

…Attribute
dotnet · Apr 29, 2015 · 574b9b3 · 574b9b3
1 parent 37aa969
commit 574b9b3
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 0 deletions.
diff --git a/tests/fsharp/typecheck/sigs/neg16.bsl b/tests/fsharp/typecheck/sigs/neg16.bsl
@@ -88,3 +88,5 @@ neg16.fs(110,16,110,20): typecheck error FS0879: Volatile fields must be marked
 neg16.fs(113,9,113,11): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
 
 neg16.fs(116,9,116,13): typecheck error FS0879: Volatile fields must be marked 'mutable' and cannot be thread-static
+
+neg16.fs(130,10,130,11): typecheck error FS0935: Types with the 'AllowNullLiteral' attribute may only inherit from or implement types which also allow the use of the null literal
diff --git a/tests/fsharp/typecheck/sigs/neg16.fs b/tests/fsharp/typecheck/sigs/neg16.fs
@@ -122,3 +122,11 @@ module VolatileFieldSanityChecks = begin
 
 end
 
+module AllowNullLiteralWithArgumentTest = begin
+
+    type A() = class end
+
+    [<AllowNullLiteral(true)>] // expect an error here
+    type B() = inherit A()
+
+end
diff --git a/tests/fsharp/typecheck/sigs/pos16.fs b/tests/fsharp/typecheck/sigs/pos16.fs
@@ -46,3 +46,10 @@ module UnitOfMeasurePrintfPositiveTests =
     let _ = sprintf "%g" 1.0M<metre>
     let _ = sprintf "%g" 1.0M<m>
     let _ = sprintf "%g" 1.0M<m/s>
+
+module AllowNullLiteralWithArgumentTest = 
+
+    type A() = class end
+
+    [<AllowNullLiteral(false)>]
+    type B() = inherit A()