|
|
|
|
|
|
by mafribe
3956 days ago
|
|
|
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. |
|
|