Validate filename (#1338)

* Take the full path into account when sanitizing file name. Fixes #1337.

* Bump to alpha 7.

* Add gitpod yml.

* Get file name cross platform.

* Format code

.gitpod.yml

@@ -0,0 +1 @@
+image: mcr.microsoft.com/dotnet/sdk:5.0

RELEASE_NOTES.md

@@ -1,3 +1,7 @@
+### 4.4.0-alpha-007 12/2020
+
+* Fix Program.fs inside full path can lead to invalid AST. [#1337](https://github.com/fsprojects/fantomas/issues/1337)
+
 ### 4.4.0-alpha-006 12/2020
 
 * Fix Formatting of long parameter lists. [#657](https://github.com/fsprojects/fantomas/issues/657)

src/Fantomas.CoreGlobalTool.Tests/Fantomas.CoreGlobalTool.Tests.fsproj

@@ -4,7 +4,7 @@
     <TargetFramework>net5.0</TargetFramework>
     <IsPackable>false</IsPackable>
     <GenerateProgramFile>false</GenerateProgramFile>
-    <Version>4.4.0-alpha-006</Version>
+    <Version>4.4.0-alpha-007</Version>
     <NoWarn>FS0988</NoWarn>
     <WarningsAsErrors>FS0025</WarningsAsErrors>
   </PropertyGroup>

src/Fantomas.CoreGlobalTool/Fantomas.CoreGlobalTool.fsproj

@@ -4,7 +4,7 @@
     <TargetFramework>net5.0</TargetFramework>
     <ToolCommandName>fantomas</ToolCommandName>
     <PackAsTool>True</PackAsTool>
-    <Version>4.4.0-alpha-006</Version>
+    <Version>4.4.0-alpha-007</Version>
     <AssemblyName>fantomas-tool</AssemblyName>
     <WarningsAsErrors>FS0025</WarningsAsErrors>
   </PropertyGroup>

src/Fantomas.Extras/Fantomas.Extras.fsproj

@@ -2,7 +2,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netstandard2.0</TargetFramework>
-    <Version>4.4.0-alpha-006</Version>
+    <Version>4.4.0-alpha-007</Version>
     <Description>Utility package for Fantomas</Description>
     <WarningsAsErrors>FS0025</WarningsAsErrors>
   </PropertyGroup>

src/Fantomas.Tests/CodeFormatterTests.fs

@@ -31,3 +31,30 @@ let main argv _ =
     )
     |> Async.RunSynchronously
     |> ignore
+
+[<Test>]
+let ``sanitize filename if path with Program.fs`` () =
+    let fileName = @"d:\dev\bootcamp\src\Program.fs"
+
+    let source = """
+open System
+open Poker.Main
+
+[<EntryPoint>]
+let main _ =
+    processInput Console.In Console.Out
+    0
+"""
+
+    let parsingOptions =
+        FakeHelpers.createParsingOptionsFromFile fileName
+
+    CodeFormatter.FormatDocumentAsync(
+        fileName,
+        SourceOrigin.SourceString source,
+        config,
+        parsingOptions,
+        sharedChecker.Value
+    )
+    |> Async.RunSynchronously
+    |> ignore

src/Fantomas.Tests/Fantomas.Tests.fsproj

@@ -1,6 +1,6 @@
 <Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
-    <Version>4.4.0-alpha-006</Version>
+    <Version>4.4.0-alpha-007</Version>
     <NoWarn>FS0988</NoWarn>
     <TargetFramework>net5.0</TargetFramework>
     <WarningsAsErrors>FS0025</WarningsAsErrors>

src/Fantomas/CodeFormatterImpl.fs

@@ -41,11 +41,14 @@ type FormatContext =
       SourceText: ISourceText }
 
 // Some file names have a special meaning for the F# compiler and the AST cannot be parsed.
-let safeFileName fileName =
+let safeFileName (file: string) =
+    let fileName =
+        file.Split([| '\\'; '/' |]) |> Array.last
+
     if fileName = "Program.fs" then
         "tmp.fsx"
     else
-        fileName
+        file
 
 let createFormatContext fileName (source: SourceOrigin) =
     let (sourceText, sourceCode) = getSourceTextAndCode source

src/Fantomas/Fantomas.fsproj

@@ -2,7 +2,7 @@
 <Project Sdk="Microsoft.NET.Sdk">
   <PropertyGroup>
     <TargetFramework>netstandard2.0</TargetFramework>
-    <Version>4.4.0-alpha-006</Version>
+    <Version>4.4.0-alpha-007</Version>
     <Description>Source code formatter for F#</Description>
     <WarningsAsErrors>FS0025</WarningsAsErrors>
   </PropertyGroup>