FStarLang / FStarLang/karamel

The last-minute desugaring of op_Bang_Star eliminates opportunities for prettier printing

Open
#116 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
OCaml
Stars
519
Forks
73
Avg merge
2h 58m
Merged PRs (30d)
1

Description

From @BarryBo :

```
if ((**&pp).p.streamID == stream)
```

This should be pretty-printed as:

```
if (pp->p.streamId == stream)
```

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.