CakeML / CakeML/pure

Impossible to define/raise user-defined exceptions

Open
#28 1 comment 0 reactions 0 assignees View on GitHub
enhancement front end
Dominant language
Standard ML
Stars
44
Forks
5
PR merge metrics
No merged PRs in 30d

Description

This works:
```
data Error = Fail

main = Raise Subscript
```

While the following is rejected by the compiler:
```
data Error = Fail

main = Raise Fail
```

Contributor guide

No contributing guide indexed for this repository

Research direction

Start by compiling the two examples in the issue and compare the accepted Raise Subscript case with the rejected Raise Fail case. Trace how user-defined exception constructors are handled, then confirm that Raise Fail is accepted while the existing behavior remains intact.

Written by the indexing model from the issue text.

Assessment

Domain
compilers
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.