uio-jpt/pt-compiler — Issue #1: visse typer feil blir sendt videre til java-output
Author: svk
Created: 2011-12-17 04:05:31+00:00
State: open

[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?