visi-lang/visi — Issue #4: Fix the type inferencer/checker
Author: dpp
Created: 2011-11-18 23:23:51+00:00
State: open
Labels: Defects

Currently, the type infererencer will not infer type parameters (if/then/else uses type parameters)

The type checker will not fail if the same "source" is used in a String and a Number operation