I mean something simpler, and doesn't involve retargetting GHC. Write a Frege-to-Haskell compiler F2H, and then for each test T you simply compare the output o

I mean something simpler, and doesn't involve retargetting GHC. Write a Frege-to-Haskell compiler F2H, and then for each test T you simply compare the output of running Frege( T ) with the output of running GHC( F2H( T ) ). Maybe you have to transform the outputs into a universal format such as ASCII strings, but that should be straightforward. Now you have an oracle for random Frege programs.