[Friclist] Prevajalniki - Tipi v Tigru

[Mitar]

Zdravo!

Kaj se preverjajo tipi v Tigru po imenu ali tudi po vsebini?

Recimo ce bi imel nekaj takega kot:

let
 type myint = int
 function bla (a : int) = ...
 var b : myint = 1
in
 bla(b)
end

Je to dovoljeno?


Mitar