search

symphonytool / symphony

The Symphony IDE
5 stars 4 forks source link

Type Checker: Relax the uniqueness check to allow operations with the same name in different a class and process #281

Closed lausdahl closed 9 years ago

lausdahl commented 10 years ago 
class A = begin
operations
public op: ()==>()
op()== Skip
end

process P = begin
operations
public op: ()==>()
op()== Skip
@Skip
end