Correct type for params in subexpressions
commit8bdaaefa3c16bee3fc8b3dfb5c98340d07221b0c
authorygrek <ygrek@autistici.org>
Wed, 6 May 2009 07:52:21 +0000 (6 10:52 +0300)
committerygrek <ygrek@autistici.org>
Wed, 6 May 2009 07:52:21 +0000 (6 10:52 +0300)
tree1850469297f7d83e079f0fc0eeb9cbdbbc97703c
parent0954f4d320d226305ce3788923fe34c480242f8f
Correct type for params in subexpressions

assign_types threw away types inferred for subexpressions
move small utility functions to apply.ml
apply.ml [new file with mode: 0644]
listMore.ml
main.ml
operators.ml
syntax.ml