Fix default operators script path

This commit is contained in:
Nathan Faubion 2021-10-17 16:49:13 -07:00
parent 908bb5bd29
commit 61462b7ce0

View File

@ -66,7 +66,7 @@ main = do
contents = contents =
Array.intercalate "\n" (header <> lines <> footer) Array.intercalate "\n" (header <> lines <> footer)
writeTextFile UTF8 (Path.concat [ cwdPath, "src", "PureScript", "CST", "Tidy", "Operators", "Defaults.purs" ]) contents writeTextFile UTF8 (Path.concat [ cwdPath, "src", "Tidy", "Operators", "Defaults.purs" ]) contents
defaultSpagoDhall :: String defaultSpagoDhall :: String
defaultSpagoDhall = defaultSpagoDhall =