Add special case for function applications in base type rule checks
authoradamch <adamch>
Sat, 13 Oct 2007 13:38:46 +0000 (13:38 +0000)
committeradamch <adamch>
Sat, 13 Oct 2007 13:38:46 +0000 (13:38 +0000)
commita8d3e6c8e07586b2ce8bfcc4080ed7d13842e78f
tree20b7ae65946306f51879d5161834a1ae7c64e5f2
parent3a319372b2fa433e1fe66334aa01e2635bd3d030
Add special case for function applications in base type rule checks
src/tycheck.sml