Hi, When I apply a semantic type to an input and output port that are connected, the semantic type checker always shows an error on the semantic types. This looks like a bug in Kepler 2.0 Chris