#16087: TH tests fail in ext-interp way when ghc-stage2 is built using LLVM -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.8.1 Component: Compiler (LLVM) | Version: 8.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari ): In [changeset:"5499f12f32a8deaa2a30c13359473b1178236341/ghc" 5499f12/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="5499f12f32a8deaa2a30c13359473b1178236341" testsuite: Mark th tests as broken in ext-interp way in LLVM build flavours This is due to the failures documented in #16087. The condition here could be improved as it matches on `BUILD_FLAVOUR` instead of looking at the compiler flags. However, it's better than nothing and I hope we will be able to fix these issues before long. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16087#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#16087: TH tests fail in ext-interp way when ghc-stage2 is built using LLVM -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.10.1 Component: Compiler (LLVM) | Version: 8.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by bgamari): I tried running a test locally where I only observed the following failures: {{{ =====> TH_repPrim(ext-interp) 3 of 11 [0, 2, 0] cd "th/TH_repPrim.run" && "/mnt/work/ghc/ghc/inplace/bin/ghc-stage2" -c TH_repPrim.hs -dcore-lint -dstg-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno- debug-output -XTemplateHaskell -package template-haskell -fexternal- interpreter -v0 Compile failed (exit code 1) errors were: AppE (ConE GHC.Types.I#) (LitE (IntPrimL 20)) GHC.Types.I# 20# AppE (ConE GHC.Types.W#) (LitE (WordPrimL 32)) GHC.Types.W# 32## TH_repPrim.hs:23:29: error: • Exception when trying to run compile-time code: ghc-stage2: ghc-iserv terminated (-11) Code: do e <- [| F# 12.3# |] runIO $ putStrLn $ show e runIO $ putStrLn $ pprint e .... • In the untyped splice: $(do e <- [| F# 12.3# |] runIO $ putStrLn $ show e runIO $ putStrLn $ pprint e runIO $ hFlush stdout ....) *** unexpected failure for TH_repPrim(ext-interp) =====> TH_repPrim2(ext-interp) 4 of 11 [0, 3, 0] cd "th/TH_repPrim2.run" && "/mnt/work/ghc/ghc/inplace/bin/ghc-stage2" -c TH_repPrim2.hs -dcore-lint -dstg-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno- debug-output -XTemplateHaskell -package template-haskell -fexternal- interpreter -v0 Compile failed (exit code 1) errors were: LitE (IntPrimL 20) 20# LitE (WordPrimL 32) 32## TH_repPrim2.hs:23:29: error: • Exception when trying to run compile-time code: ghc-stage2: ghc-iserv terminated (-11) Code: do e <- [| 12.3# |] runIO $ putStrLn $ show e runIO $ putStrLn $ pprint e .... • In the untyped splice: $(do e <- [| 12.3# |] runIO $ putStrLn $ show e runIO $ putStrLn $ pprint e runIO $ hFlush stdout ....) *** unexpected failure for TH_repPrim2(ext-interp) =====> T11721_TH(ext-interp) 5 of 11 [0, 4, 0] cd "th/T11721_TH.run" && "/mnt/work/ghc/ghc/inplace/bin/ghc-stage2" -c T11721_TH.hs -dcore-lint -dstg-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics-color=never -fno-diagnostics-show-caret -Werror=compat -dno- debug-output -XTemplateHaskell -package template-haskell -fexternal- interpreter -v0 Compile failed (exit code 1) errors were: T11721_TH.hs:15:3: error: • Exception when trying to run compile-time code: ghc-stage2: ghc-iserv terminated (-11) Code: do let rightOrder :: [TyVarBndr] -> Bool .... TyConI (DataD _ _ _ _ [ForallC con_tvbs1 _ _] _) <- reify ''T DataConI _ (ForallT con_tvbs2 _ _) _ <- reify 'MkT .... • In the untyped splice: $(do let rightOrder :: [TyVarBndr] -> Bool rightOrder [KindedTV b _, KindedTV a _] = nameBase b == "b" && nameBase a == "a" rightOrder _ = False TyConI (DataD _ _ _ _ [ForallC con_tvbs1 _ _] _) <- reify ''T DataConI _ (ForallT con_tvbs2 _ _) _ <- reify 'MkT if rightOrder con_tvbs1 && rightOrder con_tvbs2 then [| () |] else fail "T11721_TH failed") *** unexpected failure for T11721_TH(ext-interp) =====> T15502(ext-interp) 6 of 11 [0, 6, 0] cd "th/T15502.run" && "/mnt/work/ghc/ghc/inplace/bin/ghc-stage2" -c T15502.hs -dcore-lint -dstg-lint -dcmm-lint -no-user-package-db -rtsopts -fno-warn-missed-specialisations -fshow-warning-groups -fdiagnostics- color=never -fno-diagnostics-show-caret -Werror=compat -dno-debug-output -XTemplateHaskell -package template-haskell -fexternal-interpreter -v0 -ddump-splices -dsuppress-uniques Compile failed (exit code 1) errors were: T15502.hs:7:16: error: • Exception when trying to run compile-time code: {handle: }: GHCi.Message.remoteCall: end of file Code: lift (toInteger (maxBound :: Int) + 1) • In the untyped splice: $(lift (toInteger (maxBound :: Int) + 1)) *** unexpected failure for T15502(ext-interp) }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16087#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler

#16087: TH tests fail in ext-interp way when ghc-stage2 is built using LLVM -------------------------------------+------------------------------------- Reporter: bgamari | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.10.1 Component: Compiler (LLVM) | Version: 8.6.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by int-index): Data point: another spontaneous pass https://gitlab.haskell.org/ghc/ghc/-/jobs/22691 -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/16087#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler