Novas implementações pelo grupo do type checker - G04

UnBCIC-TP2 / Oberon-Scala

An implementation of the Oberon language using Scala

55 stars 118 forks source link

Novas implementações pelo grupo do type checker - G04 #135

Closed enz03 closed 3 months ago

enz03 commented 1 year ago

Adicionados check's de retorno de procedure, subtypes, type promotion e computação aritmética entre tipos. Também foram realizadas tests suites para cada uma dessas implementações.