On 1/24/2012 10:21 AM, Jonathan Gibbons wrote: > What about: > provides service S with S_A; > provides service S with S_A; We ban all other duplicates in a module declaration, even "harmless" ones like "permits A; permits A;", so this should be illegal too. I will update the compile-time and run-time rules. Alex