Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

rm format #876

Closed
sishtiaq opened this issue Feb 24, 2017 · 1 comment · Fixed by #1734
Closed

rm format #876

sishtiaq opened this issue Feb 24, 2017 · 1 comment · Fixed by #1734
Labels
area/fsharp-vs-ocaml component/extraction good first issue priority/high

Comments

@sishtiaq
Copy link
Contributor

Once #36 is done, src/format should be replaced by src/prettyprint. src/format should then be deleted.
@msprotz msprotz mentioned this issue Mar 1, 2017
Closed
@sishtiaq sishtiaq mentioned this issue May 8, 2017
Closed
5 tasks
@kyoDralliam
Copy link
Contributor

FStar.Format is implemented in terms of prettyprint/FStar.Pprint and is redundant. The main file which needs to be fixed is extraction (needs to be ported from Format to Pprint)

@artagnon artagnon mentioned this issue Apr 30, 2019
Merged
catalin-hritcu added a commit that referenced this issue May 7, 2019
@catalin-hritcu
Merge pull request #1734 from artagnon/format-prettyprint
db6a2ad 
[format -> prettyprint] Redirect (fixes #876)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area/fsharp-vs-ocaml component/extraction good first issue priority/high
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[format -> prettyprint] Redirect (fixes #876)
4 participants
@kyoDralliam @sishtiaq @catalin-hritcu @cpitclaudel