-- If we get here, then all of the argument types were state
-- types (we check for enumeration types at the top). Not
-- sure how to handle this, so error out for now.
-- If we get here, then all of the argument types were state
-- types (we check for enumeration types at the top). Not
-- sure how to handle this, so error out for now.