Changed a couple typing rules, some to prenvent unexpected truncations
commit3e1478cc08a9b6363e4cfd590cbc2ea96743c00a
authorVincent St-Amour <stamourv@iro.umontreal.ca>
Fri, 24 Apr 2009 02:54:52 +0000 (23 22:54 -0400)
committerVincent St-Amour <stamourv@iro.umontreal.ca>
Fri, 24 Apr 2009 02:54:52 +0000 (23 22:54 -0400)
tree1038bf3645e9210a0a971f51b354195d528d161c
parent1097061e932359a94337c5613e6958748eb9f795
Changed a couple typing rules, some to prenvent unexpected truncations
in the middle of an expression, and some to have tighter bounds on the
size of the results.
cfg.scm
operators.scm