hs-to-coq icon indicating copy to clipboard operation
hs-to-coq copied to clipboard

Published 20 hours ago • verified publisher icon antalsz

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

Open antalsz opened this issue 4 years ago • 0 comments

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.

antalsz avatar May 13 '20 04:05 antalsz