CakeML / CakeML/cakeml

Pancake constants pre-processing

Open
#1,077 0 comments 0 reactions 0 assignees View on GitHub
Pancake
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

Currently in order to have C-like `#define var ...` to specify useful constants in Pancake code, the user has to run a C pre-processor to process these constants.
It'd be nice if Pancake can have some syntax sugar to do this. And it'd also be useful if these defined constants can be used in annotations as well.

Contributor guide

No contributing guide indexed for this repository

Research direction

The issue names no files, tests, or entry points to begin with. First investigate Pancake's existing syntax and annotation handling, then determine how C-like constants should be declared and expanded without the C pre-processor. Done would require an agreed syntax and behavior for constants in both Pancake code and annotations, plus corresponding tests.

Written by the indexing model from the issue text.

Assessment

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.