▸case-16 Running 'mypy src/' on a Python repository reveals 12 type checking failures across 'src/models.py' and 'src/api.py'. Should we suppress them with '# type: ignore' all at once, or use a systematic workflow? | fail→fail | 12,344 | 5,355 | -57% | 1 | 1 | 0% | 2,217 | 1,027 | -54% | 0 | 0 | — |
▸case-17 A Haskell project fails 'cabal build' with type matching errors in 'Lib.hs' and missing module import in 'Main.hs'. Describe the proper multi-step workflow for resolving these issues. | pass→fail | 14,256 | 6,815 | -52% | 1 | 1 | 0% | 2,571 | 1,433 | -44% | 0 | 0 | — |
▸case-03 After updating several dependencies, the code fails to compile. Could you check for compiler and typing issues across the repository, summarize all failures categorized by file and issue type, apply corrections, and output the final check status along with a list of fixes and outstanding blockers? | fail→fail | 3,884 | 2,761 | -29% | 1 | 1 | 0% | 257 | 262 | +2% | 0 | 0 | — |
▸case-01 My pull request failed the TypeScript check in CI. Can you run the project's build and type checks, group any reported errors by file and type, attempt fixes for what you can, and provide a summary showing the status, fixed items, and any remaining blockers? | fail→fail | 3,575 | 3,582 | +0% | 1 | 1 | 0% | 184 | 316 | +72% | 0 | 0 | — |
▸case-02 I'm hitting compilation errors locally while testing my feature branch. Please run the type checker and compiler, organize the issues by file and error category, resolve what you can, and give me a report detailing the overall status, applied fixes, and any unresolved issues. | fail→fail | 3,592 | 3,593 | +0% | 1 | 1 | 0% | 196 | 258 | +32% | 0 | 0 | — |
▸case-04 When users click the 'Export PDF' button in the web application, a runtime 'TypeError: Cannot read properties of undefined (reading export)' occurs in the browser console. The build and type checks pass cleanly. How should we debug and fix this runtime issue? | pass→pass | 13,225 | 11,941 | -10% | 1 | 1 | 0% | 2,522 | 2,412 | -4% | 0 | 0 | — |
▸case-05 The CI pipeline failed on the formatting check step because 'src/utils/parser.ts' has trailing spaces on lines 14 and 22, and lacks a newline at end of file. The TypeScript compiler passes without any errors. How should we handle these style guide violations? | pass→pass | 7,274 | 5,552 | -24% | 1 | 1 | 0% | 1,435 | 1,185 | -17% | 0 | 0 | — |
▸case-06 In our Node.js microservice, 'npm run build' and 'tsc --noEmit' complete with zero errors, but 'npm test' fails because Jest test 'calculateTax()' expected output '10.50' but received '10.00'. How should we investigate this failing business logic test? | pass→pass | 14,316 | 11,073 | -23% | 1 | 1 | 0% | 2,570 | 2,126 | -17% | 0 | 0 | — |
▸case-07 In a Rust project using Cargo, we have 15 errors across 4 files after refactor. Some are simple missing imports ('use std::sync::Arc;') while others are complex lifetime borrow check mismatches in 'src/engine.rs'. Should we attempt to fix all errors in a single batch, or sequence them by confidence? How should issues be organized? | pass→pass | 11,979 | 6,784 | -43% | 1 | 1 | 0% | 2,024 | 1,333 | -34% | 0 | 0 | — |
▸case-08 A Go backend project fails during compilation with syntax errors, unused package imports, and type mismatches across 'pkg/auth/jwt.go' and 'pkg/db/client.go'. We want to tackle these systematically. What is the proper workflow for reporting and addressing these errors? | fail→fail | 12,442 | 6,254 | -50% | 1 | 1 | 0% | 2,348 | 1,297 | -45% | 0 | 0 | — |
▸case-09 We enabled 'strictNullChecks' in 'tsconfig.json' on a large React codebase, producing 40 type errors. Tempted to add non-null assertions ('!') everywhere to fix all 40 quickly in one go. What is the recommended workflow to handle these type-check failures? | fail→fail | 13,375 | 12,141 | -9% | 1 | 1 | 0% | 2,459 | 2,298 | -7% | 0 | 0 | — |
▸case-10 Building a C++ project with CMake results in missing header includes in 'src/network.cpp' and signature mismatch errors in 'src/protocol.cpp'. How should these build failures be structured in the final status output? | fail→pass | 11,637 | 5,136 | -56% | 1 | 1 | 0% | 2,180 | 1,088 | -50% | 0 | 0 | — |
▸case-11 A Java Spring Boot service fails during 'mvn compile' with missing symbol errors in 'UserService.java' and method call type incompatibility in 'OrderController.java'. Outline the steps to process these compilation errors. | pass→pass | 9,986 | 10,196 | +2% | 1 | 1 | 0% | 1,792 | 1,997 | +11% | 0 | 0 | — |
▸case-12 An iOS Swift project fails to compile in Xcode with missing protocol conformance in 'ProfileViewController.swift' and unknown type 'UserDTO' in 'APIService.swift'. How should these build errors be organized and resolved? | fail→pass | 10,831 | 8,993 | -17% | 1 | 1 | 0% | 2,199 | 1,740 | -21% | 0 | 0 | — |
▸case-13 Running 'dotnet build' on a C# ASP.NET Core solution yields CS0246 (type/namespace not found) in 'Controllers/HomeController.cs' and CS0103 (name does not exist) in 'Services/AuthService.cs'. What is the exact workflow for resolving this? | pass→pass | 11,029 | 10,455 | -5% | 1 | 1 | 0% | 2,285 | 2,183 | -4% | 0 | 0 | — |
▸case-14 An 'sbt compile' invocation on a Scala backend flags type mismatch in 'OrderProcessor.scala' and missing implicit parameters in 'Database.scala'. How should the reported output be formatted? | fail→pass | 9,288 | 3,768 | -59% | 1 | 1 | 0% | 1,855 | 814 | -56% | 0 | 0 | — |
▸case-15 A Kotlin Android project fails Gradle build with unresolved references in 'MainActivity.kt' and type inference failure in 'Repository.kt'. What approach should be taken to fix them? | fail→pass | 13,932 | 10,133 | -27% | 1 | 1 | 0% | 2,427 | 1,877 | -23% | 0 | 0 | — |
▸case-18 Compiling a Zig CLI app with 'zig build' produces duplicate definition errors in 'src/cli.zig' and type mismatch in 'src/config.zig'. How should these compile failures be processed? | fail→fail | 11,950 | 9,134 | -24% | 1 | 1 | 0% | 2,157 | 1,722 | -20% | 0 | 0 | — |
▸case-19 Running 'mix compile' on an Elixir Phoenix application returns undefined function warnings treated as errors in 'lib/web/router.ex' and struct key errors in 'lib/core/user.ex'. What is the required workflow? | pass→pass | 12,186 | 7,853 | -36% | 1 | 1 | 0% | 2,220 | 1,551 | -30% | 0 | 0 | — |
▸case-20 An OCaml project built with 'dune build' reports unbound value in 'bin/main.ml' and type error in 'lib/parser.ml'. How should the issues be tackled and reported? | fail→pass | 12,528 | 6,681 | -47% | 1 | 1 | 0% | 2,307 | 1,327 | -42% | 0 | 0 | — |
▸case-21 A ReScript frontend project fails 'rescript build' with type error in 'src/Component.res' and record field mismatch in 'src/Data.res'. What order of operations and output structure must be followed? | fail→fail | 10,663 | 5,686 | -47% | 1 | 1 | 0% | 1,861 | 1,153 | -38% | 0 | 0 | — |
▸case-22 Executing 'ng build' in an Angular project fails with template type-checking errors in 'user-profile.component.html' and property missing errors in 'user-profile.component.ts'. How should these be handled? | fail→fail | 12,709 | 11,119 | -13% | 1 | 1 | 0% | 2,270 | 2,257 | -1% | 0 | 0 | — |