arthuraa/cis670-project — pull request #1 by bobzhang (2011-12-27 06:28:59+00:00)
Title: we should talk tomorrow

I have added the parser, test file in test/1.ml. It seems that our type_check have some subtle bugs in it.
We should skype tommorrow
You can type
make all
ocaml -I _build _build/prj.cma

then Fc_lex.test () to watch the behavior, our cxt is stored in Cxt module, so type Cxt.cxt to watch our context
I will write an email to Benjamin begging for one day delay.

Good luck