[kepler-users] syntax/semantic type mismatch

[Shawn Bowers]

Hi Chris,

I think it should do this, but right now the type checker doesn't
"propagate" the types of actors to the ports of composites the actors
are embedded within.

Shawn


On Fri, Jul 17, 2009 at 1:00 PM, Chris Weed<chrisweed at gmail.com> wrote:
> I created a workflow with two actors and a composite actor.
> The output actor that produces string tokens is inside a composite
> actor, and the composte actor is connected to an actor that accepts
> input xml tokens.
> The composite actor does not have it's port annotated with the output
> string type.
> In the same way the actors are annotated with mismatching semantic types.
> When I perform the type checker on this, it correctly informs me that
> there is a syntax type mistake, but not a semantic type mistake.
> I can even remove the composite actor and connect these two actors
> directly and see the semantic type mismatch.
> Shouldn't it find the semantic type mismatch when inside the composite actor?
> Chris
> _______________________________________________
> Kepler-users mailing list
> Kepler-users at kepler-project.org
> http://mercury.nceas.ucsb.edu/kepler/mailman/listinfo/kepler-users
>