search

verified-network-toolchain / petr4

Petr4: Formal Semantics for P4
Apache License 2.0
76 stars 21 forks source link

Strip uses of ppx_import #346

Closed hackedy closed 2 years ago

hackedy commented 2 years ago

I could've sworn we already did this. Maybe it's on some other branch.

hackedy commented 2 years ago

Ah, found it, I did this stuff on poulet4-ocaml-port a while ago. But that's a very stale branch

hackedy commented 2 years ago

This is mergeable but it's ruined all the error reporting in checker.ml. I'm going to merge into poulet4-interpreter instead and make a note over there to fix error reporting before merging into poulet4.