flintlang/flint

Consider warning for multiple blocks with identical callers/states

Opened this issue · 1 comments

C @(S1) :: (any) {} // expected-note {{ First declaration here }}

C @(S2) :: (any) {}

C @(S1) :: (any) {} // expected-warning {{ Repeated block }}

This is definitely a good idea, +1