Define and test addition in library

Notice the need for double parentheses in test/test3.sail, because the
interpreter does not perform curryfication automatically (only the first
parameter in kept with List_extra.head):
  add ((1, 3))   (* works *)
  add (1, 3)     (* fails, equivalent to: add (1) *)
Fortunately enough, infix functions work correctly by default.  A dirty
quickfix would be easy, but I'm not sure at which level this should be
addressed properly (interpreter? typing? etc.).

0 files changed, 0 insertions, 0 deletions