From bfa68f5f5c4ba249335a4e0c68ba2ea692a8e0bd Mon Sep 17 00:00:00 2001
From: Julien Roncaglia <julien@roncaglia.fr>
Date: Sun, 11 Oct 2015 14:16:21 +0200
Subject: [PATCH] Add a test proving issue with '>= net40' and silverlight

Issue #1124
---
 tests/Paket.Tests/Paket.Tests.fsproj          |  1 +
 .../RestrictionApplicationSpecs.fs            | 19 +++++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 tests/Paket.Tests/RestrictionApplicationSpecs.fs

diff --git a/tests/Paket.Tests/Paket.Tests.fsproj b/tests/Paket.Tests/Paket.Tests.fsproj
index a9721aafc3..ea36ef233c 100644
--- a/tests/Paket.Tests/Paket.Tests.fsproj
+++ b/tests/Paket.Tests/Paket.Tests.fsproj
@@ -91,6 +91,7 @@
     <Compile Include="TemplateFileParsing.fs" />
     <Compile Include="NuspecWriterSpecs.fs" />
     <Compile Include="RestrictionFilterSpecs.fs" />
+    <Compile Include="RestrictionApplicationSpecs.fs" />
     <Compile Include="PackageProcessSpecs.fs" />
     <Content Include="PackagesConfig\xunit.visualstudio.packages.config">
       <CopyToOutputDirectory>Always</CopyToOutputDirectory>
diff --git a/tests/Paket.Tests/RestrictionApplicationSpecs.fs b/tests/Paket.Tests/RestrictionApplicationSpecs.fs
new file mode 100644
index 0000000000..16fa95ca5b
--- /dev/null
+++ b/tests/Paket.Tests/RestrictionApplicationSpecs.fs
@@ -0,0 +1,19 @@
+module Packet.RestrictionApplicationSpecs
+
+open System.IO
+open Paket
+open Paket.Domain
+open Chessie.ErrorHandling
+open FsUnit
+open NUnit.Framework
+open TestHelpers
+open Paket.Requirements
+
+[<Test>]
+let ``>= net40 does not include silverlight (#1124)`` () =
+    /// https://github.com/fsprojects/Paket/issues/1124
+    let restrictions = [FrameworkRestriction.AtLeast(DotNetFramework(FrameworkVersion.V4))]
+    let targets = KnownTargetProfiles.DotNetFrameworkProfiles @ KnownTargetProfiles.SilverlightProfiles
+    let restricted = applyRestrictionsToTargets restrictions targets
+    
+    restricted |> shouldEqual KnownTargetProfiles.DotNetFrameworkProfiles
\ No newline at end of file