google-research/dex-lang

Add a primitive guaranteed to inhibit constant folding

Open

#1,154 opened on Nov 10, 2022

View on GitHub
 (0 comments) (0 reactions) (0 assignees)Haskell (116 forks)batch import
good first issue

Repository metrics

Stars
 (1,681 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

at least to test the compiler's behavior on unknown entities. Suggested name unknown.

Contributor guide

Research direction
Examine the compiler's constant folding pass to identify where a new primitive must be introduced. Study the existing primitive definitions and how they affect optimization. Then implement a new primitive named 'unknown' that has no special semantics to prevent constant folding, and add tests to verify it works as expected.
Tech stack
None
Domain
backend
Issue type
Feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
3
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
Fresh
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
Mostly clear
Prerequisites
Haskellcompiler internals
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40