FAQ Tiger Compiler Project

FAQ Tiger T4

Definition de type inversee

Lors d'une declaration du type:
type a = b
type b = int
1ere ligne: on instancie le type de a: Named(a, Named(b))
2eme ligne: on definit b: Named(b, int)

Merci à tous les participants de cette FAQ sur Tiger: notre professeur Akim Demaille,
Sébastien Moncel et Arnaud Meyer, ingénieur informatique EPITA promo 2003.