Build #1 for inspection-testing-0.6.1
| Package | inspection-testing-0.6.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2025-06-11 22:03:17.080006257 UTC |
|---|---|
| Compiler | ghc-9.8.4 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | base-4.19.2.0, containers-0.6.8, ghc-9.8.4, mtl-2.3.1, template-haskell-2.21.0.0, transformers-0.6.1.0 |
| 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.6.1
Downloaded inspection-testing-0.6.1
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, dist/build/Test/Inspection.o, dist/build/Test/Inspection.dyn_o )
[2 of 3] Compiling Test.Inspection.Core ( src/Test/Inspection/Core.hs, dist/build/Test/Inspection/Core.o, dist/build/Test/Inspection/Core.dyn_o )
[3 of 3] Compiling Test.Inspection.Plugin ( src/Test/Inspection/Plugin.hs, dist/build/Test/Inspection/Plugin.o, dist/build/Test/Inspection/Plugin.dyn_o )
Preprocessing library for inspection-testing-0.6.1..
Running Haddock on library for inspection-testing-0.6.1..
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
[1 of 3] Compiling Test.Inspection ( src/Test/Inspection.hs, /tmp/ghc2693312_0/ghc_8.o, /tmp/ghc2693312_0/ghc_8.dyn_o )
[2 of 3] Compiling Test.Inspection.Core ( src/Test/Inspection/Core.hs, /tmp/ghc2693312_0/ghc_10.o, /tmp/ghc2693312_0/ghc_10.dyn_o )
[3 of 3] Compiling Test.Inspection.Plugin ( src/Test/Inspection/Plugin.hs, nothing )
Haddock coverage:
Warning: 'Obligation' is ambiguous. It is defined
* at src/Test/Inspection.hs:86:19
* at src/Test/Inspection.hs:86:1
You may be able to disambiguate the identifier by qualifying it or
by specifying the type/value namespace explicitly.
Defaulting to the one defined at src/Test/Inspection.hs:86:1
100% ( 26 / 26) in 'Test.Inspection'
90% ( 9 / 10) in 'Test.Inspection.Core'
Missing documentation for:
doesNotContainTypeClasses (src/Test/Inspection/Core.hs:593)
40% ( 2 / 5) in 'Test.Inspection.Plugin'
Missing documentation for:
checkProperty (src/Test/Inspection/Plugin.hs:214)
CheckResult (src/Test/Inspection/Plugin.hs:193)
prettyProperty (src/Test/Inspection/Plugin.hs:107)
Warning: Test.Inspection.Core: could not find link destinations for:
- Test.Inspection.Core.Slice
Documentation created: dist/doc/html/inspection-testing/,
dist/doc/html/inspection-testing/inspection-testing.txt
Installing library in /var/lib/hackage-doc-builder/build-cache/tmp-install/lib/x86_64-linux-ghc-9.8.4/inspection-testing-0.6.1-6fjnAMB4UWZDSqnPGHlI4Z
Completed inspection-testing-0.6.1
Test log
[view raw]
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