Commit 3bc2ceff authored by Pietro Abate's avatar Pietro Abate

[r2002-10-26 17:55:09 by cvscast] Empty log message

Original author: cvscast
Date: 2002-10-26 17:55:09+00:00
parent 1fdc3162
......@@ -18,3 +18,9 @@
point to the specific branch ...
Better: alternate mode of typing << check that this expression
has at most this type >>
DONE
- Convert: (e1,e2) @ e3 =====> (e1,e2 @ e3)
_before_ typing (to better propagate type information downto e1)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment