search

Mercury-Language / mercury

The Mercury logic programming system.
Other
904 stars 54 forks source link

Mark switch as complete in is_foreign_type_body_for_target #121

Closed smuenzel closed 1 year ago

smuenzel commented 1 year ago

Since du_type_layout.is_foreign_type_body_for_target is semidet, we won't get any compilation error when adding a new target, and it will fail at runtime. Fix this by marking the switch on Target as complete.

juliensf commented 1 year ago

Merged -- thanks for that.