- User Since
- Tue, Jul 10, 7:46 AM (6 d, 7 h)
The windows build failed due to some strange problems. Shall I restart the build ?
- typo in description of isLitTy.
- allow type literal for data declaration spec only in hsig files.
- added the test isLitTy to the Types module
- simplify typecheck with isLitTy.
Sat, Jul 14
@ezyang Okey I will make the changes you suggested in a couple of days.
@ezyang I managed to fix this issue of Nats and Backpack. Can you have a look as there is somethings regarding hs-boot and hsig files here that are not clear to me.
Thu, Jul 12
There is one clarification that I still need so may be you can just hold on before you merge. The function in question seems to be used both for hs-boot files and hsig files. The very next guard in the function check whether the function is for hsig and there is a comment there saying that it does not work with hsboot. Since I do not understand the code fully, can you confirm whether I should add such a check for this clause also
Do you want me to do a commit sqashing. I think I can give better commit messages ?
- some newline cleanups.
I noticed that there are some new line ugliness. Will add a commit for that.