uio-jpt / pt-compiler

5 stars 0 forks source link

visse typer feil blir sendt videre til java-output #1

Closed svk closed 12 years ago

svk commented 12 years ago

[fra eivindgl-repo]

I graphCode-eksempelet gjelder dette en required-type som brukes som typeparameter, men til slutt ikke oppfyller bounds.

Hvorfor oppdager ikke feilsjekkingen på slutten av javapt-kompileringen dette?