The EXPOSE_REP check misses generic types

lu-cs-sde / metadl

MetaDL: Datalog analyzing Datalog, Java or any language of your choice

BSD 2-Clause "Simplified" License

16 stars 2 forks source link

The EXPOSE_REP check misses generic types #12

Open alexdura opened 2 years ago

alexdura commented 2 years ago

The pattern in the definition of the FieldInClass predicate does not match generic classes: FieldInClass(c,t, f,m) :- c <: class _ { ..d .. } :>,...`

alexdura commented 2 years ago

Another issue related to how FieldInClass is defined: #8