Resolving dependencies...
Build profile: -w ghc-9.8.4 -O0
In order, the following will be built (use -v for more details):
 - inspection-testing-0.6.1 (first run)
Configuring inspection-testing-0.6.1...
Preprocessing library for inspection-testing-0.6.1..
Building library for inspection-testing-0.6.1..
[1 of 3] Compiling Test.Inspection  ( src/Test/Inspection.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/Test/Inspection.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/Test/Inspection.dyn_o )
[2 of 3] Compiling Test.Inspection.Core ( src/Test/Inspection/Core.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/Test/Inspection/Core.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/Test/Inspection/Core.dyn_o )
[3 of 3] Compiling Test.Inspection.Plugin ( src/Test/Inspection/Plugin.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/Test/Inspection/Plugin.o, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/Test/Inspection/Plugin.dyn_o )
Preprocessing test suite 'HPCs' for inspection-testing-0.6.1..
Building test suite 'HPCs' for inspection-testing-0.6.1..
[1 of 1] Compiling HPCs             ( examples/HPCs.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/HPCs/HPCs-tmp/HPCs.o )
[2 of 2] Linking /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/HPCs/HPCs
Preprocessing test suite 'NS_NP' for inspection-testing-0.6.1..
Building test suite 'NS_NP' for inspection-testing-0.6.1..
[1 of 1] Compiling NS_NP            ( examples/NS_NP.hs, /var/lib/hackage-doc-builder/build-cache/tmp-install/dist-newstyle/build/x86_64-linux/ghc-9.8.4/inspection-testing-0.6.1/noopt/build/NS_NP/NS_NP-tmp/NS_NP.o )
examples/NS_NP.hs:44:1: roundtrip === roundtrip_id failed:
inequal terms:
hpc<NS_NP,30> hpc<NS_NP,29> \ (x :: Ordering) -> f (g x)
and
\ (x [Dmd=1L] :: Ordering) -> hpc<NS_NP,4> hpc<NS_NP,3> x
LHS:
    roundtrip [InlPrag=INLINE (sat-args=0)] :: Ordering -> Ordering
    [LclIdX,
     Unf=Unf{Src=StableUser, 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 _ [Occ=Dead] ds_d3g2 [Occ=Once1!] ->
                               case ds_d3g2 of {
                                 Nil _ [Occ=Dead] -> hpc<NS_NP,6> LT;
                                 :* @ipv_s3nL @ipv_s3nM _ [Occ=Dead] _ [Occ=Dead] _ [Occ=Dead] ->
                                   hpc<NS_NP,10>
                                   hpc<NS_NP,9>
                                   error
                                     @LiftedRep
                                     @Ordering
                                     ($dIP_s3nn
                                      `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
                                              :: CallStack ~~ (?callStack::CallStack)))
                                     (build @Char (\ (@b) -> unpackFoldrCString# @b "unreachable"#))
                               };
                             S @xs @x _ [Occ=Dead] ds_d3g3 [Occ=Once1!] ->
                               case ds_d3g3 of {
                                 Z @x @xs _ [Occ=Dead] ds_d3g4 [Occ=Once1!] ->
                                   case ds_d3g4 of {
                                     Nil _ [Occ=Dead] -> hpc<NS_NP,7> EQ;
                                     :* @ipv_s3nR @ipv_s3nS _ [Occ=Dead] _ [Occ=Dead]
                                        _ [Occ=Dead] ->
                                       hpc<NS_NP,10>
                                       hpc<NS_NP,9>
                                       error
                                         @LiftedRep
                                         @Ordering
                                         ($dIP_s3nn
                                          `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
                                                  :: CallStack ~~ (?callStack::CallStack)))
                                         (build
                                            @Char (\ (@b) -> unpackFoldrCString# @b "unreachable"#))
                                   };
                                 S @xs @x _ [Occ=Dead] ds_d3g5 [Occ=Once1!] ->
                                   case ds_d3g5 of {
                                     Z @x @xs _ [Occ=Dead] ds_d3g6 [Occ=Once1!] ->
                                       case ds_d3g6 of {
                                         Nil _ [Occ=Dead] -> hpc<NS_NP,8> GT;
                                         :* @ipv_s3nX @ipv_s3nY _ [Occ=Dead] _ [Occ=Dead]
                                            _ [Occ=Dead] ->
                                           hpc<NS_NP,10>
                                           hpc<NS_NP,9>
                                           error
                                             @LiftedRep
                                             @Ordering
                                             ($dIP_s3nn
                                              `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
                                                      :: CallStack ~~ (?callStack::CallStack)))
                                             (build
                                                @Char
                                                (\ (@b) -> unpackFoldrCString# @b "unreachable"#))
                                       };
                                     S @ipv_s3o3 @ipv_s3o4 _ [Occ=Dead] _ [Occ=Dead] ->
                                       hpc<NS_NP,10>
                                       hpc<NS_NP,9>
                                       error
                                         @LiftedRep
                                         @Ordering
                                         ($dIP_s3nn
                                          `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
                                                  :: 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_s3m2 :: Addr#
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 20 0}]
    $trModule_s3m2 = "main"#
    
    $trModule_s3m4 :: Addr#
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 30 0}]
    $trModule_s3m4 = "NS_NP"#
    
    loc_s3ne :: [Char]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=True, WorkFree=False, Expandable=True,
             Guidance=IF_ARGS [] 20 0}]
    loc_s3ne = unpackCString# $trModule_s3m2
    
    loc_s3nf :: [Char]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=True, WorkFree=False, Expandable=True,
             Guidance=IF_ARGS [] 20 0}]
    loc_s3nf = unpackCString# $trModule_s3m4
    
    loc_s44K :: Addr#
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 60 0}]
    loc_s44K = "examples/NS_NP.hs"#
    
    loc_s3ng :: [Char]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=True, WorkFree=False, Expandable=True,
             Guidance=IF_ARGS [] 20 0}]
    loc_s3ng = unpackCString# loc_s44K
    
    loc_s3nh :: Int
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    loc_s3nh = I# 31#
    
    loc_s3ni :: Int
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    loc_s3ni = I# 8#
    
    loc_s3nk :: Int
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    loc_s3nk = I# 13#
    
    $dIP_s44L :: Addr#
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 30 0}]
    $dIP_s44L = "error"#
    
    $dIP_s3nl :: [Char]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=True, WorkFree=False, Expandable=True,
             Guidance=IF_ARGS [] 20 0}]
    $dIP_s3nl = unpackCString# $dIP_s44L
    
    $dIP_s3nm :: SrcLoc
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    $dIP_s3nm
      = SrcLoc
          loc_s3ne loc_s3nf loc_s3ng loc_s3nh loc_s3ni loc_s3nh loc_s3nk
    
    $dIP_s3nn :: CallStack
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    $dIP_s3nn = PushCallStack $dIP_s3nl $dIP_s3nm EmptyCallStack
    
    lvl_s44P :: Addr#
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 40 0}]
    lvl_s44P = "unreachable"#
    
    lvl_s44Q :: [Char]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=True, WorkFree=False, Expandable=True,
             Guidance=IF_ARGS [] 20 0}]
    lvl_s44Q = unpackCString# lvl_s44P
    
    lvl_s449 :: Ordering
    [LclId,
     Str=b,
     Cpr=b,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=NEVER}]
    lvl_s449
      = hpc<NS_NP,9>
        error
          @LiftedRep
          @Ordering
          ($dIP_s3nn
           `cast` (Sym (N:IP[0] <"callStack">_N <CallStack>_N)
                   :: CallStack ~~ (?callStack::CallStack)))
          lvl_s44Q
    
    f [Dmd=LC(S,L)] :: 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_aIK [Dmd=B] ds_d3g2 [Dmd=1S] ->
              case ds_d3g2 of {
                Nil co_aIM [Dmd=B] -> hpc<NS_NP,6> LT;
                :* @ipv_s3nL @ipv_s3nM ipv [Dmd=B] ipv [Dmd=B] ipv [Dmd=B] ->
                  hpc<NS_NP,10> lvl_s449
              };
            S @xs @x co_aIT [Dmd=B] ds_d3g3 [Dmd=1S] ->
              case ds_d3g3 of {
                Z @x @xs co_aIX [Dmd=B] ds_d3g4 [Dmd=1S] ->
                  case ds_d3g4 of {
                    Nil co_aIZ [Dmd=B] -> hpc<NS_NP,7> EQ;
                    :* @ipv_s3nR @ipv_s3nS ipv [Dmd=B] ipv [Dmd=B] ipv [Dmd=B] ->
                      hpc<NS_NP,10> lvl_s449
                  };
                S @xs @x co_aJb [Dmd=B] ds_d3g5 [Dmd=1S] ->
                  case ds_d3g5 of {
                    Z @x @xs co_aJf [Dmd=B] ds_d3g6 [Dmd=1S] ->
                      case ds_d3g6 of {
                        Nil co_aJh [Dmd=B] -> hpc<NS_NP,8> GT;
                        :* @ipv_s3nX @ipv_s3nY ipv [Dmd=B] ipv [Dmd=B] ipv [Dmd=B] ->
                          hpc<NS_NP,10> lvl_s449
                      };
                    S @ipv_s3o3 @ipv_s3o4 ipv [Dmd=B] ipv [Dmd=B] ->
                      hpc<NS_NP,10> lvl_s449
                  }
              }
          }
    
    lvl_s44m :: NP I '[]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=IF_ARGS [] 0 0}]
    lvl_s44m = (hpc<NS_NP,15> $WNil) @(*) @I
    
    lvl_s44n :: NS (NP I) '[ '[], '[], '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    lvl_s44n
      = Z @[*]
          @(NP I)
          @'[ '[], '[], '[]]
          @'[]
          @'[ '[], '[]]
          @~(<'[ '[], '[], '[]]>_N :: '[ '[], '[], '[]] ~ '[ '[], '[], '[]])
          lvl_s44m
    
    lvl_s44o :: NP I '[]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=IF_ARGS [] 0 0}]
    lvl_s44o = (hpc<NS_NP,17> $WNil) @(*) @I
    
    lvl_s44p :: NS (NP I) '[ '[], '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    lvl_s44p
      = Z @[*]
          @(NP I)
          @'[ '[], '[]]
          @'[]
          @'[ '[]]
          @~(<'[ '[], '[]]>_N :: '[ '[], '[]] ~ '[ '[], '[]])
          lvl_s44o
    
    lvl_s44q :: NS (NP I) '[ '[], '[], '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=IF_ARGS [] 10 10}]
    lvl_s44q
      = hpc<NS_NP,18>
        S @[*]
          @(NP I)
          @'[ '[], '[], '[]]
          @'[ '[], '[]]
          @'[]
          @~(<'[ '[], '[], '[]]>_N :: '[ '[], '[], '[]] ~ '[ '[], '[], '[]])
          lvl_s44p
    
    lvl_s44r :: NP I '[]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=IF_ARGS [] 0 0}]
    lvl_s44r = (hpc<NS_NP,20> $WNil) @(*) @I
    
    lvl_s44s :: NS (NP I) '[ '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    lvl_s44s
      = Z @[*]
          @(NP I)
          @'[ '[]]
          @'[]
          @'[]
          @~(<'[ '[]]>_N :: '[ '[]] ~ '[ '[]])
          lvl_s44r
    
    lvl_s44t :: NS (NP I) '[ '[], '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=IF_ARGS [] 10 10}]
    lvl_s44t
      = hpc<NS_NP,21>
        S @[*]
          @(NP I)
          @'[ '[], '[]]
          @'[ '[]]
          @'[]
          @~(<'[ '[], '[]]>_N :: '[ '[], '[]] ~ '[ '[], '[]])
          lvl_s44s
    
    lvl_s44X :: NS (NP I) '[ '[], '[], '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=IF_ARGS [] 10 10}]
    lvl_s44X
      = S @[*]
          @(NP I)
          @'[ '[], '[], '[]]
          @'[ '[], '[]]
          @'[]
          @~(<'[ '[], '[], '[]]>_N :: '[ '[], '[], '[]] ~ '[ '[], '[], '[]])
          lvl_s44t
    
    lvl_s44u :: NS (NP I) '[ '[], '[], '[]]
    [LclId,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=False, ConLike=False, WorkFree=False, Expandable=False,
             Guidance=IF_ARGS [] 10 0}]
    lvl_s44u = hpc<NS_NP,22> case lvl_s44t of { __DEFAULT -> lvl_s44X }
    
    g [Dmd=LC(S,L)] :: 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_s44n;
            EQ -> hpc<NS_NP,19> lvl_s44q;
            GT -> hpc<NS_NP,23> lvl_s44u
          }
    
RHS:
    roundtrip_id :: Ordering -> Ordering
    [LclIdX,
     Arity=1,
     Str=<1L>,
     Unf=Unf{Src=<vanilla>, TopLvl=True,
             Value=True, ConLike=True, WorkFree=True, Expandable=True,
             Guidance=ALWAYS_IF(arity=1,unsat_ok=True,boring_ok=True)}]
    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

<no location info>: error: ExitFailure 1