HCoop / hcoop / domtool2.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca6ffb3) | patch
Add special case for function applications in base type rule checks
authorAdam Chlipala <adamc@hcoop.net>
Sat, 13 Oct 2007 13:38:46 +0000 (13:38 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 13 Oct 2007 13:38:46 +0000 (13:38 +0000)
commit4ecbfd4c845e35126c61e182146005f27d45339a
tree20b7ae65946306f51879d5161834a1ae7c64e5f2tree | snapshot (tar.gz zip)
parentca6ffb3f7b6481b68d95518523465d9dd5585c73commit | diff
Add special case for function applications in base type rule checks
src/tycheck.sml diff | blob | blame | history
Unnamed repository; edit this file to name it for gitweb.