type derivation

Issue #34 resolved
Bart Bogaerts created an issue

should work: derive what is possible and throw errors when no derivation is possible

Comments (7)

  1. Bart Bogaerts reporter

    Opmerking hierbij: De formule x/y = 4.5, met x en y type int, 4.5 duidelijk type float wordt gezien als zijnde een functie int,int -> int... Dit is verkeerd. De gebruiker geeft expliciet aan dat hij int,int -> float wil.

  2. Stef De Pooter

    @BartBog Er zijn twee built-in division-functies: één voor ints (int,int -> int) en één voor floats (float,float -> float). Misschien moeten we er ook een hebben voor int,int -> float...

  3. Log in to comment