Re: [GHC] #16087: TH tests fail in ext-interp way when ghc-stage2 is built using LLVM

30 Jan 2019

      #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: <file descriptor: 11>}: 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