Open-Turing-Project/OpenTuringCompiler — Issue #3: Full type checking
Author: trishume
Created: 2012-02-18 03:22:58+00:00
State: open
Labels: Bug

Right now bad types are caught by LLVM. Need to impliment robust tye checking for operators and functions.