google-research / google-research/dex-lang

Write a system for emitting warnings from the compiler

Open
#413 0 comments 0 reactions 0 assignees View on GitHub
language / concrete syntax
Dominant language
Haskell
Stars
1.7k
Forks
116
PR merge metrics
No merged PRs in 30d

Description

A predecessor to #338.

Pretty much every well-known compiler can emit many warnings that hint at potential user errors. We don't have any of those yet, but we should build an extensible infrastructure that enables us to emit them.

Contributor guide

Open the contributing guide

Research direction

Start by reviewing predecessor issue #338 and the compiler-related parts of the repository to understand the existing diagnostic flow. Determine the scope of an extensible warning-emission infrastructure and what compiler behavior would demonstrate that it is complete.

Written by the indexing model from the issue text.

Assessment

Tech stack
haskell
Domain
compilers
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.