- type_check(): don't type check Mixed types twice
authorMark Huang <mlhuang@cs.princeton.edu>
Wed, 25 Oct 2006 14:26:08 +0000 (14:26 +0000)
committerMark Huang <mlhuang@cs.princeton.edu>
Wed, 25 Oct 2006 14:26:08 +0000 (14:26 +0000)
commit93f2f793538d71e126d21436e6626ea82fd8b743
tree450efd2c93dd1d4a2c32f9784b828218c492fa4c
parent16540adf9033fdae9ef9800a55d454ef0082c859
- type_check(): don't type check Mixed types twice
- move authentication to type_check(), so that we can support Mixed Auth types
PLC/Method.py