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

antalsz / hs-to-coq

Convert Haskell source code to Coq source code

https://hs-to-coq.readthedocs.io

MIT License

279 stars 27 forks source link

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

Open antalsz opened 4 years ago

antalsz commented 4 years ago

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.