casting sets of tuples - Githubissues

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4

Apache License 2.0

75 stars 21 forks source link

casting sets of tuples #217

Open hackedy opened 4 years ago

hackedy commented 4 years ago

I don't think the interp_cast code in ops.ml can handle casting to set<tuple<...>> types. I'm pretty sure the typechecker can generate these casts for some expressions but it doesn't seem to be causing any tests to fail right now.

stp59 commented 4 years ago

can you give an example of an expression that would require this?