+ -- Enumeration types have no arguments and are just
+ -- simple assignments
+ Right (EnumType _ _) ->
+ simple_assign
+ -- These builtin types are also enumeration types
+ Right (BuiltinType tyname) | tyname `elem` ["Bit", "Bool"] ->
+ simple_assign