# HG changeset patch
# User haftmann
# Date 1547145265 -3600
# Node ID 0631421c6d6a7236be86c17118a102718bc5fad1
# Parent  94048eac7463d11063b70bc2f6b90b6c7e5f8359
restored test_code for GHC, which got accidentally broken in ef02c5e051e5

diff -r 94048eac7463 -r 0631421c6d6a src/HOL/Library/code_test.ML
--- a/src/HOL/Library/code_test.ML	Thu Jan 10 18:38:21 2019 +0100
+++ b/src/HOL/Library/code_test.ML	Thu Jan 10 19:34:25 2019 +0100
@@ -492,11 +492,11 @@
   let
     val driverN = "Main.hs"
 
-    fun mk_code_file name = Path.append path (Path.basic (name ^ ".hs"))
+    fun mk_code_file name = Path.append path (Path.basic name)
     val driver_path = Path.append path (Path.basic driverN)
     val driver =
       "module Main where {\n" ^
-      String.concat (map (fn module => "import qualified " ^ module ^ ";\n") modules) ^
+      String.concat (map (fn module => "import qualified " ^ unsuffix ".hs" module ^ ";\n") modules) ^
       "main = do {\n" ^
       "    let {\n" ^
       "      format_term Nothing = \"\";\n" ^