27 Fév
2017
27 Fév
'17
22:52
Do we want to allow: mult : Int => Int -> Int; mult x y = x * y; Currently this will produce an error because mult x y = x * y; is transformed to (lambda_->_ x (lambda_->_ y (_*_ x y))) when the expression is translated from sexp to pexp. -- Pierre Delaunay