completed rename to DependentTypes

Author: caindy

BoundedStrings.sln DependentTypes.slnBoundedStrings.sln renamed to DependentTypes.sln

@@ -9,7 +9,7 @@ Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = ".paket", ".paket", "{63297B
 EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "docs", "docs", "{A6A6AF7D-D6E3-442D-9B1E-58CC91879BE1}"
 EndProject
-Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "BoundedStrings", "src\BoundedStrings\BoundedStrings.fsproj", "{11C1A07D-FB17-4ECB-BADA-32E8E0933C5B}"
+Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "DependentTypes", "src\DependentTypes\DependentTypes.fsproj", "{11C1A07D-FB17-4ECB-BADA-32E8E0933C5B}"
 EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "project", "project", "{BF60BC93-E09B-4E5F-9D85-95A519479D54}"
 	ProjectSection(SolutionItems) = preProject
@@ -32,7 +32,7 @@ Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "content", "content", "{8E6D
 EndProject
 Project("{2150E333-8FDC-42A3-9474-1A3956D46DE8}") = "tests", "tests", "{ED8079DD-2B06-4030-9F0F-DC548F98E1C4}"
 EndProject
-Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "BoundedStrings.Tests", "tests\BoundedStrings.Tests\BoundedStrings.Tests.fsproj", "{385D1636-D293-4DAF-9AA4-70D867B836AD}"
+Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "DependentTypes.Tests", "tests\DependentTypes.Tests\DependentTypes.Tests.fsproj", "{385D1636-D293-4DAF-9AA4-70D867B836AD}"
 EndProject
 Global
 	GlobalSection(SolutionConfigurationPlatforms) = preSolution

src/BoundedStrings/AssemblyInfo.fs src/DependentTypes/AssemblyInfo.fssrc/BoundedStrings/AssemblyInfo.fs renamed to src/DependentTypes/AssemblyInfo.fs

@@ -1,7 +1,7 @@
 namespace System
 open System.Reflection
 
-[<assembly: AssemblyTitleAttribute("BoundedStrings")>]
+[<assembly: AssemblyTitleAttribute("DependentTypes")>]
 [<assembly: AssemblyProductAttribute("BoundedStrings")>]
 [<assembly: AssemblyDescriptionAttribute("type provider for bounded strings")>]
 [<assembly: AssemblyVersionAttribute("1.0")>]

src/BoundedStrings/BoundedStrings.fsproj src/DependentTypes/DependentTypes.fsprojsrc/BoundedStrings/BoundedStrings.fsproj renamed to src/DependentTypes/DependentTypes.fsproj

@@ -1,4 +1,4 @@
-<?xml version="1.0" encoding="utf-8"?>
+<?xml version="1.0" encoding="utf-8"?>
 <Project ToolsVersion="4.0" DefaultTargets="Build" xmlns="http://schemas.microsoft.com/developer/msbuild/2003">
   <Import Project="$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props" Condition="Exists('$(MSBuildExtensionsPath)\$(MSBuildToolsVersion)\Microsoft.Common.props')" />
   <PropertyGroup>
@@ -7,11 +7,11 @@
     <SchemaVersion>2.0</SchemaVersion>
     <ProjectGuid>11c1a07d-fb17-4ecb-bada-32e8e0933c5b</ProjectGuid>
     <OutputType>Library</OutputType>
-    <RootNamespace>BoundedStrings</RootNamespace>
-    <AssemblyName>BoundedStrings</AssemblyName>
+    <RootNamespace>FSharp.DependentTyping</RootNamespace>
+    <AssemblyName>DependentTypes</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <TargetFSharpCoreVersion>4.3.0.0</TargetFSharpCoreVersion>
-    <Name>BoundedStrings</Name>
+    <Name>DependentTypes</Name>
     <TargetFrameworkProfile />
   </PropertyGroup>
   <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Debug|AnyCPU' ">
@@ -31,7 +31,7 @@
     <OutputPath>.\bin\Release</OutputPath>
     <DefineConstants>TRACE</DefineConstants>
     <WarningLevel>3</WarningLevel>
-    <DocumentationFile>.\bin\Release\BoundedStrings.xml</DocumentationFile>
+    <DocumentationFile>.\bin\Release\DependentTypes.xml</DocumentationFile>
     <OtherFlags>--warnon:1182</OtherFlags>
   </PropertyGroup>
   <ItemGroup>
@@ -97,4 +97,4 @@
   </Target>
   -->
   <Import Project="..\..\.paket\paket.targets" />
-</Project>
+</Project>

src/BoundedStrings/Library.fs …DependentTypes/DependentTypesProvider.fssrc/BoundedStrings/Library.fs renamed to src/DependentTypes/DependentTypesProvider.fs src/BoundedStrings/Library.fs renamed to src/DependentTypes/DependentTypesProvider.fs

@@ -7,11 +7,11 @@
     <SchemaVersion>2.0</SchemaVersion>
     <ProjectGuid>385d1636-d293-4daf-9aa4-70d867b836ad</ProjectGuid>
     <OutputType>Library</OutputType>
-    <RootNamespace>BoundedStrings.Tests</RootNamespace>
-    <AssemblyName>BoundedStrings.Tests</AssemblyName>
+    <RootNamespace>DependentTypes.Tests</RootNamespace>
+    <AssemblyName>DependentTypes.Tests</AssemblyName>
     <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
     <TargetFSharpCoreVersion>4.3.0.0</TargetFSharpCoreVersion>
-    <Name>BoundedStrings.Tests</Name>
+    <Name>DependentTypes.Tests</Name>
     <TargetFrameworkProfile />
     <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\..\</SolutionDir>
   </PropertyGroup>
@@ -68,8 +68,8 @@
     <Reference Include="System.Numerics" />
   </ItemGroup>
   <ItemGroup>
-    <ProjectReference Include="..\..\src\BoundedStrings\BoundedStrings.fsproj">
-      <Name>BoundedStrings</Name>
+    <ProjectReference Include="..\..\src\DependentTypes\DependentTypes.fsproj">
+      <Name>DependentTypes</Name>
       <Project>{11c1a07d-fb17-4ecb-bada-32e8e0933c5b}</Project>
       <Private>True</Private>
     </ProjectReference>