search

dimitriv / Ziria

A domain-specific-language and compiler for low-level bitstream processing.
92 stars 18 forks source link

Check that the type checker takes top-level type annotations into account #61

Open edsko opened 9 years ago

edsko commented 9 years ago

This is especially important when we remove the explicit read/write calls for examples such as

let comp main : ST T int int = repeat { (x:int) <- take; return () }

because we would end up with unresolved variables otherwise.