silently ignored invalid type-annotation

[jeske]

This program has an incorrect type-annotation for the function work_on_file. However, irken will silently compile it just fine. Adding the -types option curiously causes it to catch the type error.

(include "lib/basis.scm")

(typealias file_descriptor int)

(define (work_on_file f) : (file_descriptor)  ;; should be (file_descriptor -> int
   0 )

(work_on_file 1)

[samrushing]

I think this is a dup of #24.