One curiosity on the ML family is that value constructors default to
prefix notation (constructor name first), while type names use postfix
notation.

Because BitC has n-ary functions and constructors, the postfix type
notation may turn out not to work for us -- I'm not yet sure. If it
does, should we continue in the OCaml convention on this?


shap
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to