Worked on the hazelgrove/hazel repository to enhance pattern matching error messages and type coverage analysis in ReasonML. Focused on compiler development and static analysis, the work introduced example-driven guidance for inexhaustive matches, making error reporting more actionable for developers. Refactored the type-coverage pattern generation logic, adding new helpers to generate more robust pattern suggestions and improve match exhaustiveness. Formatting and readability improvements were applied throughout the codebase to support maintainability. These changes aimed to reduce debugging time and improve the overall developer experience by providing clearer error guidance and more comprehensive coverage analysis within the type system.