Switching to F# 4.1

FStarLang · Apr 18, 2018 · cfb8e1b · cfb8e1b
1 parent c801ce1
commit cfb8e1b
Show file tree

Hide file tree

Showing 15 changed files with 15 additions and 15 deletions.
diff --git a/src/basic/basic.fsproj b/src/basic/basic.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>basic</RootNamespace>
     <AssemblyName>basic</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>basic</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\VS\</SolutionDir>

diff --git a/src/extraction/extraction.fsproj b/src/extraction/extraction.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>extraction</RootNamespace>
     <AssemblyName>extraction</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>extraction</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">

diff --git a/src/format/format.fsproj b/src/format/format.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>format</RootNamespace>
     <AssemblyName>format</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>format</Name>
     <TargetFrameworkProfile />
   </PropertyGroup>

diff --git a/src/fsdoc/fsdoc.fsproj b/src/fsdoc/fsdoc.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>fsdoc</RootNamespace>
     <AssemblyName>fsdoc</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>fsdoc</Name>
     <TargetFrameworkProfile />
   </PropertyGroup>

diff --git a/src/fstar/fstar.fsproj b/src/fstar/fstar.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>FStar</RootNamespace>
     <AssemblyName>fstar</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>FStar</Name>
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\VS\</SolutionDir>
     <RestorePackages>true</RestorePackages>

diff --git a/src/jsbackend/jsbackend.fsproj b/src/jsbackend/jsbackend.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>jsbackend</RootNamespace>
     <AssemblyName>jsbackend</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>    
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>    
     <Name>jsbackend</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">

diff --git a/src/parser/parser.fsproj b/src/parser/parser.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>parser</RootNamespace>
     <AssemblyName>parser</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>parser</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\VS\</SolutionDir>

diff --git a/src/prettyprint/prettyprint.fsproj b/src/prettyprint/prettyprint.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>prettyprint</RootNamespace>
     <AssemblyName>prettyprint</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>prettyprint</Name>
     <TargetFrameworkProfile />

diff --git a/src/reflection/reflection.fsproj b/src/reflection/reflection.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>reflection</RootNamespace>
     <AssemblyName>reflection</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>reflection</Name>
     <TargetFrameworkProfile />

diff --git a/src/smtencoding/smtencoding.fsproj b/src/smtencoding/smtencoding.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>smtencoding</RootNamespace>
     <AssemblyName>smtencoding</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>smtencoding</Name>
     <TargetFrameworkProfile />

diff --git a/src/syntax/syntax.fsproj b/src/syntax/syntax.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>syntax</RootNamespace>
     <AssemblyName>syntax</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>syntax</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">

diff --git a/src/tactics/tactics.fsproj b/src/tactics/tactics.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>tactics</RootNamespace>
     <AssemblyName>tactics</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
     <Name>tactics</Name>
     <TargetFrameworkProfile />

diff --git a/src/tests/tests.fsproj b/src/tests/tests.fsproj
@@ -11,7 +11,7 @@
     <AssemblyName>tests</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
     <AutoGenerateBindingRedirects>true</AutoGenerateBindingRedirects>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>tests</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">

diff --git a/src/tosyntax/tosyntax.fsproj b/src/tosyntax/tosyntax.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>tosyntax</RootNamespace>
     <AssemblyName>tosyntax</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>tosyntax</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\VS\</SolutionDir>

diff --git a/src/typechecker/typechecker.fsproj b/src/typechecker/typechecker.fsproj
@@ -10,7 +10,7 @@
     <RootNamespace>typechecker</RootNamespace>
     <AssemblyName>typechecker</AssemblyName>
     <TargetFrameworkVersion>v4.5</TargetFrameworkVersion>
-    <TargetFSharpCoreVersion>4.4.0.0</TargetFSharpCoreVersion>
+    <TargetFSharpCoreVersion>4.4.3.0</TargetFSharpCoreVersion>
     <Name>typechecker</Name>
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">