Skip to content
This repository has been archived by the owner on Nov 17, 2020. It is now read-only.

Rename our provided modules from GHC.… to HsToCoq.… or similar #155

Open
antalsz opened this issue May 13, 2020 · 0 comments
Open

Rename our provided modules from GHC.… to HsToCoq.… or similar #155

antalsz opened this issue May 13, 2020 · 0 comments

Comments

@antalsz
Copy link
Owner

antalsz commented May 13, 2020

We provide some new machinery in, for example, GHC.DeferredFix and GHC.Nat. But these aren't GHC modules, they're ours! We should move them to HsToCoq.DeferredFix or H2C.DeferredFix or HsToCoq.Translation.DeferredFix or something appropriate.

We could also move some of our fancy Default machinery out of GHC.Err into HsToCoq.Default, which I'd be inclined to do in this case.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@antalsz