Fix traces directory bug

typechecker/test/Main.hs

@@ -19,6 +19,9 @@ toOutputFile = flip replaceExtension "output"
 toTraceFile :: FilePath -> FilePath
 toTraceFile = flip replaceExtension "trace"
 
+tracesDir :: FilePath
+tracesDir = "traces"
+
 shouldFailDir :: FilePath
 shouldFailDir = "should-fail"
 
@@ -54,7 +57,7 @@ shouldTypeCheck = do
     | actFile <- inputFiles
     , let outputFile = toOutputFile actFile
     , let tracePath  = if traceFlag
-                         then Just $ toTraceFile ("." </> "traces" </>
+                         then Just $ toTraceFile ("." </> tracesDir </>
                                                 shouldTypeCheckDir </>
                                                 takeBaseName actFile)
                          else Nothing ]
@@ -69,7 +72,7 @@ shouldFail = do
     | actFile <- inputFiles
     , let outputFile = toOutputFile actFile
     , let tracePath  = if traceFlag
-                         then Just $ toTraceFile ("." </> "traces" </>
+                         then Just $ toTraceFile ("." </> tracesDir </>
                                                  shouldFailDir </>
                                                  takeBaseName actFile)
                          else Nothing ]
@@ -93,9 +96,10 @@ parseTranslateBS fp = do
 
 main :: IO ()
 main = do
-  let typecheck = ("." </> "traces" </> shouldTypeCheckDir)
-      fail = ("." </> "traces" </> shouldFailDir)
-  renewTraceDirs [typecheck,fail]
+  let traces = "." </> tracesDir
+      typecheck = ("." </> tracesDir </> shouldTypeCheckDir)
+      fail = ("." </> tracesDir </> shouldFailDir)
+  renewTraceDirs [traces, typecheck, fail]
   p <- testParser
   a <- shouldTypeCheck
   f <- shouldFail