jaredly / jaredly/milk

Error with inline record definitions

Open
#1 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Reason
Stars
202
Forks
6
PR merge metrics
No merged PRs in 30d

Description

I have a type like this:

```reasonml
type event = Foo{bar: int}
```

but the translation doesn't contain the inline record anymore. If I change to regular records it works.

Contributor guide

No contributing guide indexed for this repository

Research direction

Reproduce the translation of the inline Reason/OCaml definition `type event = Foo{bar: int}` and compare it with the regular-record version described in the issue. Trace the translation path for inline record definitions and determine what output is expected; done means the inline record is preserved in the translated result.

Written by the indexing model from the issue text.

Assessment

Tech stack
ocaml
Domain
compilers
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.