Build #1 for inspection-testing-0.5.0.3
Package | inspection-testing-0.5.0.3 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2023-12-29 11:44:11.417223183 UTC |
---|---|
Compiler | ghc-9.2.4 |
OS | linux |
Arch | x86_64 |
Dependencies | base-4.16.3.0, containers-0.6.5.1, ghc-9.2.4, mtl-2.2.2, template-haskell-2.18.0.0, transformers-0.5.6.2 |
Flags | -more-tests -old-text-tests |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading inspection-testing-0.5.0.3 Downloaded inspection-testing-0.5.0.3 Starting inspection-testing-0.5.0.3 Building inspection-testing-0.5.0.3 Completed inspection-testing-0.5.0.3
Test log
[view raw]
Resolving dependencies... Build profile: -w ghc-9.2.4 -O0 In order, the following will be built (use -v for more details): - inspection-testing-0.5.0.3 (first run) Configuring inspection-testing-0.5.0.3... Preprocessing library for inspection-testing-0.5.0.3.. Building library for inspection-testing-0.5.0.3.. [1 of 3] Compiling Test.Inspection ( src/Test/Inspection.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/Test/Inspection.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/Test/Inspection.dyn_o ) [2 of 3] Compiling Test.Inspection.Core ( src/Test/Inspection/Core.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/Test/Inspection/Core.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/Test/Inspection/Core.dyn_o ) [3 of 3] Compiling Test.Inspection.Plugin ( src/Test/Inspection/Plugin.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/Test/Inspection/Plugin.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/Test/Inspection/Plugin.dyn_o ) Preprocessing test suite 'HPCs' for inspection-testing-0.5.0.3.. Building test suite 'HPCs' for inspection-testing-0.5.0.3.. [1 of 1] Compiling HPCs ( examples/HPCs.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/HPCs/HPCs-tmp/HPCs.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/HPCs/HPCs-tmp/HPCs.dyn_o ) Linking /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/HPCs/HPCs ... Preprocessing test suite 'NS_NP' for inspection-testing-0.5.0.3.. Building test suite 'NS_NP' for inspection-testing-0.5.0.3.. [1 of 1] Compiling NS_NP ( examples/NS_NP.hs, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/NS_NP/NS_NP-tmp/NS_NP.o, /home/builder/builder-dir/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.2.4/inspection-testing-0.5.0.3/noopt/build/NS_NP/NS_NP-tmp/NS_NP.dyn_o ) examples/NS_NP.hs:44:1: roundtrip === roundtrip_id failed: LHS: roundtrip [InlPrag=INLINE (sat-args=0)] :: Ordering -> Ordering [LclIdX, Unf=Unf{Src=InlineStable, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=ALWAYS_IF(arity=0,unsat_ok=False,boring_ok=True) Tmpl= let { f [Occ=OnceL1!] :: NS (NP I) '[ '[], '[], '[]] -> Ordering [LclId, Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 490 60}] f = hpc<NS_NP,27> hpc<NS_NP,13> hpc<NS_NP,12> \ (x [Occ=Once1!] :: NS (NP I) '[ '[], '[], '[]]) -> hpc<NS_NP,11> hpc<NS_NP,5> case x of { Z @x @xs co_aEZ ds_d3gF [Occ=Once1!] -> case ds_d3gF of { Nil co_aF0 -> hpc<NS_NP,6> LT; :* @ipv_s3nw @ipv_s3nx ipv _ [Occ=Dead] _ [Occ=Dead] -> hpc<NS_NP,10> hpc<NS_NP,9> error @LiftedRep @Ordering ($dIP_s3n8 `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N) :: Coercible CallStack (?callStack::CallStack))) (build @Char (\ (@b) -> unpackFoldrCString# @b "unreachable"#)) }; S @xs @x co_aF5 ds_d3gG [Occ=Once1!] -> case ds_d3gG of { Z @x @xs co_aF8 ds_d3gH [Occ=Once1!] -> case ds_d3gH of { Nil co_aF9 -> hpc<NS_NP,7> EQ; :* @ipv_s3nC @ipv_s3nD ipv _ [Occ=Dead] _ [Occ=Dead] -> hpc<NS_NP,10> hpc<NS_NP,9> error @LiftedRep @Ordering ($dIP_s3n8 `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N) :: Coercible CallStack (?callStack::CallStack))) (build @Char (\ (@b) -> unpackFoldrCString# @b "unreachable"#)) }; S @xs @x co_aFi ds_d3gI [Occ=Once1!] -> case ds_d3gI of { Z @x @xs co_aFl ds_d3gJ [Occ=Once1!] -> case ds_d3gJ of { Nil co_aFm -> hpc<NS_NP,8> GT; :* @ipv_s3nI @ipv_s3nJ ipv _ [Occ=Dead] _ [Occ=Dead] -> hpc<NS_NP,10> hpc<NS_NP,9> error @LiftedRep @Ordering ($dIP_s3n8 `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N) :: Coercible CallStack (?callStack::CallStack))) (build @Char (\ (@b) -> unpackFoldrCString# @b "unreachable"#)) }; S @ipv_s3nO @ipv_s3nP ipv _ [Occ=Dead] -> hpc<NS_NP,10> hpc<NS_NP,9> error @LiftedRep @Ordering ($dIP_s3n8 `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N) :: Coercible CallStack (?callStack::CallStack))) (build @Char (\ (@b) -> unpackFoldrCString# @b "unreachable"#)) } } } } in let { g [Occ=OnceL1!] :: Ordering -> NS (NP I) '[ '[], '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=False, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 160 60}] g = hpc<NS_NP,28> hpc<NS_NP,26> hpc<NS_NP,25> \ (x [Occ=Once1!] :: Ordering) -> hpc<NS_NP,24> hpc<NS_NP,14> case x of { LT -> hpc<NS_NP,16> $WZ @[*] @(NP I) @'[] @'[ '[], '[]] ((hpc<NS_NP,15> $WNil) @(*) @I); EQ -> hpc<NS_NP,19> hpc<NS_NP,18> $WS @[*] @(NP I) @'[ '[], '[]] @'[] ($WZ @[*] @(NP I) @'[] @'[ '[]] ((hpc<NS_NP,17> $WNil) @(*) @I)); GT -> hpc<NS_NP,23> hpc<NS_NP,22> hpc<NS_NP,21> $WS @[*] @(NP I) @'[ '[], '[]] @'[] ($WS @[*] @(NP I) @'[ '[]] @'[] ($WZ @[*] @(NP I) @'[] @'[] ((hpc<NS_NP,20> $WNil) @(*) @I))) } } in hpc<NS_NP,30> hpc<NS_NP,29> \ (x [Occ=Once1] :: Ordering) -> f (g x)}] roundtrip = hpc<NS_NP,30> hpc<NS_NP,29> \ (x :: Ordering) -> f (g x) $trModule_s3lJ :: Addr# [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}] $trModule_s3lJ = "main"# $trModule_s3lL :: Addr# [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] $trModule_s3lL = "NS_NP"# loc_s3mZ :: [Char] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=True, WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}] loc_s3mZ = unpackCString# $trModule_s3lJ loc_s3n0 :: [Char] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=True, WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}] loc_s3n0 = unpackCString# $trModule_s3lL loc_s3YQ :: Addr# [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 60 0}] loc_s3YQ = "examples/NS_NP.hs"# loc_s3n1 :: [Char] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=True, WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}] loc_s3n1 = unpackCString# loc_s3YQ loc_s3n2 :: Int [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] loc_s3n2 = I# 31# loc_s3n3 :: Int [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] loc_s3n3 = I# 8# loc_s3n5 :: Int [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] loc_s3n5 = I# 13# $dIP_s3YR :: Addr# [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 30 0}] $dIP_s3YR = "error"# $dIP_s3n6 :: [Char] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=True, WorkFree=False, Expandable=True, Guidance=IF_ARGS [] 20 0}] $dIP_s3n6 = unpackCString# $dIP_s3YR $dIP_s3n7 :: SrcLoc [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] $dIP_s3n7 = SrcLoc loc_s3mZ loc_s3n0 loc_s3n1 loc_s3n2 loc_s3n3 loc_s3n2 loc_s3n5 $dIP_s3n8 :: CallStack [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] $dIP_s3n8 = PushCallStack $dIP_s3n6 $dIP_s3n7 EmptyCallStack lvl_s3YV :: Addr# [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 0}] lvl_s3YV = "unreachable"# lvl_s3Yv :: Ordering [LclId, Str=b, Cpr=b, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=NEVER}] lvl_s3Yv = hpc<NS_NP,9> error @LiftedRep @Ordering ($dIP_s3n8 `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N) :: Coercible CallStack (?callStack::CallStack))) (unpackCString# lvl_s3YV) f :: NS (NP I) '[ '[], '[], '[]] -> Ordering [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 130 60}] f = hpc<NS_NP,27> hpc<NS_NP,13> hpc<NS_NP,12> \ (x [Dmd=1L] :: NS (NP I) '[ '[], '[], '[]]) -> hpc<NS_NP,11> hpc<NS_NP,5> case x of { Z @x @xs co_aEZ [Dmd=A] ds_d3gF [Dmd=1L] -> case ds_d3gF of { Nil co_aF0 [Dmd=A] -> hpc<NS_NP,6> LT; :* @ipv_s3nw @ipv_s3nx ipv [Dmd=B] ipv [Dmd=B] ipv [Dmd=B] -> hpc<NS_NP,10> lvl_s3Yv }; S @xs @x co_aF5 [Dmd=A] ds_d3gG [Dmd=1L] -> case ds_d3gG of { Z @x @xs co_aF8 [Dmd=A] ds_d3gH [Dmd=1L] -> case ds_d3gH of { Nil co_aF9 [Dmd=A] -> hpc<NS_NP,7> EQ; :* @ipv_s3nC @ipv_s3nD ipv [Dmd=B] ipv [Dmd=B] ipv [Dmd=B] -> hpc<NS_NP,10> lvl_s3Yv }; S @xs @x co_aFi [Dmd=A] ds_d3gI [Dmd=1L] -> case ds_d3gI of { Z @x @xs co_aFl [Dmd=A] ds_d3gJ [Dmd=1L] -> case ds_d3gJ of { Nil co_aFm [Dmd=A] -> hpc<NS_NP,8> GT; :* @ipv_s3nI @ipv_s3nJ ipv [Dmd=B] ipv [Dmd=B] ipv [Dmd=B] -> hpc<NS_NP,10> lvl_s3Yv }; S @ipv_s3nO @ipv_s3nP ipv [Dmd=B] ipv [Dmd=B] -> hpc<NS_NP,10> lvl_s3Yv } } } lvl_s3YF :: NP I '[] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 0}] lvl_s3YF = (hpc<NS_NP,15> $WNil) @(*) @I lvl_s3YG :: NS (NP I) '[ '[], '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] lvl_s3YG = Z @[*] @(NP I) @'[ '[], '[], '[]] @'[] @'[ '[], '[]] @~(<'[ '[], '[], '[]]>_N :: '[ '[], '[], '[]] ~ '[ '[], '[], '[]]) lvl_s3YF lvl_s3YH :: NP I '[] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 0}] lvl_s3YH = (hpc<NS_NP,17> $WNil) @(*) @I lvl_s3YS :: NS (NP I) '[ '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] lvl_s3YS = Z @[*] @(NP I) @'[ '[], '[]] @'[] @'[ '[]] @~(<'[ '[], '[]]>_N :: '[ '[], '[]] ~ '[ '[], '[]]) lvl_s3YH lvl_s3YI :: NS (NP I) '[ '[], '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 10 10}] lvl_s3YI = hpc<NS_NP,18> S @[*] @(NP I) @'[ '[], '[], '[]] @'[ '[], '[]] @'[] @~(<'[ '[], '[], '[]]>_N :: '[ '[], '[], '[]] ~ '[ '[], '[], '[]]) lvl_s3YS lvl_s3YJ :: NP I '[] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 0 0}] lvl_s3YJ = (hpc<NS_NP,20> $WNil) @(*) @I lvl_s3YT :: NS (NP I) '[ '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] lvl_s3YT = Z @[*] @(NP I) @'[ '[]] @'[] @'[] @~(<'[ '[]]>_N :: '[ '[]] ~ '[ '[]]) lvl_s3YJ lvl_s3YU :: NS (NP I) '[ '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 10}] lvl_s3YU = S @[*] @(NP I) @'[ '[], '[]] @'[ '[]] @'[] @~(<'[ '[], '[]]>_N :: '[ '[], '[]] ~ '[ '[], '[]]) lvl_s3YT lvl_s3YK :: NS (NP I) '[ '[], '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 10 10}] lvl_s3YK = hpc<NS_NP,22> hpc<NS_NP,21> S @[*] @(NP I) @'[ '[], '[], '[]] @'[ '[], '[]] @'[] @~(<'[ '[], '[], '[]]>_N :: '[ '[], '[], '[]] ~ '[ '[], '[], '[]]) lvl_s3YU g :: Ordering -> NS (NP I) '[ '[], '[], '[]] [LclId, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=False, ConLike=False, WorkFree=False, Expandable=False, Guidance=IF_ARGS [] 40 60}] g = hpc<NS_NP,28> hpc<NS_NP,26> hpc<NS_NP,25> \ (x [Dmd=1L] :: Ordering) -> hpc<NS_NP,24> hpc<NS_NP,14> case x of { LT -> hpc<NS_NP,16> lvl_s3YG; EQ -> hpc<NS_NP,19> lvl_s3YI; GT -> hpc<NS_NP,23> lvl_s3YK } RHS: roundtrip_id :: Ordering -> Ordering [LclIdX, Arity=1, Str=<1L>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True) Tmpl= \ (x [Occ=Once1] :: Ordering) -> hpc<NS_NP,4> hpc<NS_NP,3> x}] roundtrip_id = \ (x [Dmd=1L] :: Ordering) -> hpc<NS_NP,4> hpc<NS_NP,3> x examples/NS_NP.hs: error: inspection testing unsuccessful unexpected failures: 1