OSDN Git Service

[UPDATE]BindCheck: use interCode information
authormzp <mzpppp@gmail.com>
Mon, 19 Jan 2009 10:11:45 +0000 (19:11 +0900)
committermzp <mzpppp@gmail.com>
Mon, 19 Jan 2009 10:11:45 +0000 (19:11 +0900)
commit58467fb8c285803d881b836ad8bce14de1b14f23
tree5c9788d6b0e4cd6a9ed0db8d0c40c446e5002d26
parentfb2b97799aead3f8dcdea1bcfca6d065cc45829c
[UPDATE]BindCheck: use interCode information
OMakefile
scm/src/bindCheck.ml
scm/test/test_bindcheck.ml