Add a DynFlags plugin. #56
Draft
Garnix CI / package ghc928_categorifier-adjunctions-integration-test [aarch64-linux]
failed
Feb 9, 2024 in 17m 53s
Run results
Build failed
Details
Last 100 lines of logs:
categorifier-plugin-test> 313 ┃ else [([t|Double|], Nothing)]
categorifier-plugin-test> 314 ┃ )
categorifier-plugin-test> 315 ┃ )
categorifier-plugin-test> 316 ┃ . HInsert1 (Proxy @"Max") (TestCases (const [([t|Double|], Nothing)]))
categorifier-plugin-test> 317 ┃ . HInsert1 (Proxy @"Min") (TestCases (const [([t|Double|], Nothing)]))
categorifier-plugin-test> 318 ┃ . HInsert1 (Proxy @"Not") (TestCases (const [((), pure ([|Gen.bool|], [|show|]))]))
categorifier-plugin-test> 319 ┃ . HInsert1 (Proxy @"Plus") (TestCases (const [([t|Int64|], Nothing)]))
categorifier-plugin-test> 320 ┃ . HInsert1 (Proxy @"Minus") (TestCases (const [([t|Int64|], Nothing)]))
categorifier-plugin-test> 321 ┃ . HInsert1 (Proxy @"Times") (TestCases (const [([t|Int64|], Nothing)]))
categorifier-plugin-test> 322 ┃ . HInsert1 (Proxy @"Quot") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 323 ┃ . HInsert1
categorifier-plugin-test> 324 ┃ (Proxy @"RealToFrac")
categorifier-plugin-test> 325 ┃ (TestCases (const [(([t|Double|], [t|Float|]), pure ([|genFloating|], [|show|]))]))
categorifier-plugin-test> 326 ┃ . HInsert1 (Proxy @"Recip") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
categorifier-plugin-test> 327 ┃ . HInsert1 (Proxy @"Rem") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 328 ┃ . HInsert1 (Proxy @"Div") (TestCases (const [([t|Word64|], Nothing)]))
categorifier-plugin-test> 329 ┃ . HInsert1 (Proxy @"Mod") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 346 ┃ Gen.integral $
categorifier-plugin-test> 347 ┃ Range.linearFrom
categorifier-plugin-test> 348 ┃ 0
categorifier-plugin-test> 349 ┃ (toInteger (minBound :: Int64) - 1)
categorifier-plugin-test> 350 ┃ (toInteger (maxBound :: Int64) + 1)
categorifier-plugin-test> 351 ┃ |],
categorifier-plugin-test> 352 ┃ [|show|]
categorifier-plugin-test> 353 ┃ )
categorifier-plugin-test> 354 ┃ )
categorifier-plugin-test> 355 ┃ ]
categorifier-plugin-test> 356 ┃ )
categorifier-plugin-test> 357 ┃ )
categorifier-plugin-test> 358 ┃ . HInsert1
categorifier-plugin-test> 359 ┃ (Proxy @"FromIntegral")
categorifier-plugin-test> 360 ┃ ( TestCases
categorifier-plugin-test> 361 ┃ (const [(([t|Int64|], [t|Double|]), pure ([|Gen.int64 Range.linearBounded|], [|show|]))])
categorifier-plugin-test> 362 ┃ )
categorifier-plugin-test> 363 ┃ . HInsert1 (Proxy @"Append") (TestCases (const [([t|[Word8]|], Nothing)]))
categorifier-plugin-test> 364 ┃ . HInsert1 (Proxy @"Mappend") (TestCases (const [([t|[Word8]|], Nothing)]))
categorifier-plugin-test> 365 ┃ . HInsert1 (Proxy @"ListAppend") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 366 ┃ . HInsert1
categorifier-plugin-test> 367 ┃ (Proxy @"Pure")
categorifier-plugin-test> 368 ┃ ( TestCases
categorifier-plugin-test> 369 ┃ ( const
categorifier-plugin-test> 370 ┃ [ ([t|Double|], pure ([|genFloating|], [|show|])),
categorifier-plugin-test> 371 ┃ ([t|Word8|], pure ([|genIntegralBounded|], [|show|]))
categorifier-plugin-test> 372 ┃ ]
categorifier-plugin-test> 373 ┃ )
categorifier-plugin-test> 374 ┃ )
categorifier-plugin-test> 375 ┃ . HInsert1 (Proxy @"Return") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
categorifier-plugin-test> 376 ┃ . HInsert1
categorifier-plugin-test> 377 ┃ (Proxy @"Error")
categorifier-plugin-test> 378 ┃ ( TestCases
categorifier-plugin-test> 379 ┃ ( \arrow ->
categorifier-plugin-test> 393 ┃ . HInsert1 (Proxy @"Apply") (TestCases (const [(([t|Word8|], [t|Bool|]), Nothing)]))
categorifier-plugin-test> 394 ┃ . HInsert1 (Proxy @"BareFMap") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 395 ┃ . HInsert1 (Proxy @"PartialFmap") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 396 ┃ . HInsert1 (Proxy @"Fmap") (TestCases (const [(([t|Pair|], [t|Word8|]), Nothing)]))
categorifier-plugin-test> 397 ┃ . HInsert1 (Proxy @"Fmap'") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 398 ┃ . HInsert1 (Proxy @"ConstNot") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 399 ┃ . HInsert1 (Proxy @"MapList") (TestCases (const [([t|Word8|], Nothing)]))
categorifier-plugin-test> 400 ┃ . HInsert1 (Proxy @"Ap") (TestCases (const [])) -- no curry
categorifier-plugin-test> 401 ┃ . HInsert1 (Proxy @"LiftA2") (TestCases (const [(([t|Validation ()|], [t|Int64|], [t|Int64|]), Nothing)]))
categorifier-plugin-test> 402 ┃ . HInsert1 (Proxy @"Bind") (TestCases (const [([t|Word8|], Nothing)])) -- no curry
categorifier-plugin-test> 403 ┃ . HInsert1 (Proxy @"Curry") (TestCases (const [(([t|Word8|], [t|Bool|]), Nothing)]))
categorifier-plugin-test> 404 ┃ . HInsert1 (Proxy @"Uncurry") (TestCases (const [(([t|Word8|], [t|Bool|]), Nothing)]))
categorifier-plugin-test> 405 ┃ . HInsert1 (Proxy @"SequenceA") (TestCases (const []))
categorifier-plugin-test> 406 ┃ . HInsert1 (Proxy @"Traverse") (TestCases (const []))
categorifier-plugin-test> 407 ┃ . HInsert1 (Proxy @"UnsafeCoerce") (TestCases (const [([t|Double|], pure ([|genFloating|], [|show|]))]))
categorifier-plugin-test> 408 ┃ . HInsert1 (Proxy @"Sum") (TestCases (const [])) -- can only work with specialization
categorifier-plugin-test> 409 ┃ . HInsert1 (Proxy @"SumList") (TestCases (const []))
categorifier-plugin-test> 410 ┃ . HInsert1 (Proxy @"ToList") (TestCases (const [])) -- can only work with specialization
categorifier-plugin-test> 411 ┃ . HInsert1 (Proxy @"Even") (TestCases (const [([t|Int64|], pure ([|genIntegralBounded|], [|show|]))]))
categorifier-plugin-test> 412 ┃ . HInsert1 (Proxy @"Odd") (TestCases (const [([t|Int64|], pure ([|genIntegralBounded|], [|show|]))]))
categorifier-plugin-test> 413 ┃ $ HEmpty1
categorifier-plugin-test> ┃ │ 0
categorifier-plugin-test> ┃ ^^^^^^^^^
categorifier-plugin-test> ┃ │ ━━━ Exception (UnconvertedCall) ━━━
categorifier-plugin-test> ┃ │ error: Categorifier failed to eliminate a call to `Categorifier.Categorify.expression`.
categorifier-plugin-test> ┃ │ | to GHC directly.
categorifier-plugin-test> ┃ │ expression, called at test/Base/Main.hs:45:1 in main:Main
categorifier-plugin-test> This failure can be reproduced by running:
categorifier-plugin-test> > recheckAt (Seed 11623785533128588906 8730199314822837209) "1:" plainArrowOdd0
categorifier-plugin-test> ✗ 89 failed, 119 succeeded.
categorifier-plugin-test> Test suite default-plugin: FAIL
categorifier-plugin-test> Test suite logged to:
categorifier-plugin-test> dist/test/categorifier-plugin-test-0.1-default-plugin.log
categorifier-plugin-test> 0 of 3 test suites (0 of 3 test cases) passed.
error: build of '/nix/store/56hjd8d9arbg9dkg4jrxgm9y366j6a1s-categorifier-plugin-test-0.1.drv' on 'ssh-ng://nix-ssh@arm-server-1' failed: builder for '/nix/store/56hjd8d9arbg9dkg4jrxgm9y366j6a1s-categorifier-plugin-test-0.1.drv' failed with exit code 1;
last 10 log lines:
> ┃ │ expression, called at test/Base/Main.hs:45:1 in main:Main
>
> This failure can be reproduced by running:
> > recheckAt (Seed 11623785533128588906 8730199314822837209) "1:" plainArrowOdd0
>
> ✗ 89 failed, 119 succeeded.
> Test suite default-plugin: FAIL
> Test suite logged to:
> dist/test/categorifier-plugin-test-0.1-default-plugin.log
> 0 of 3 test suites (0 of 3 test cases) passed.
For full logs, run 'nix log /nix/store/56hjd8d9arbg9dkg4jrxgm9y366j6a1s-categorifier-plugin-test-0.1.drv'.
error: builder for '/nix/store/56hjd8d9arbg9dkg4jrxgm9y366j6a1s-categorifier-plugin-test-0.1.drv' failed with exit code 1
error: 1 dependencies of derivation '/nix/store/9gym4yrggfnr4zj6sgljcq5b9v66c3ri-categorifier-adjunctions-integration-test-0.1.drv' failed to build
Loading