ghc/tests/programs/jeff-bug/hawk-macros.h

   1 #define step4(w,x,y,z) loop(bundle4(w,x,y,z)) $ \ ~(w,x,y,z) -> do
   2 #define step3(x,y,z) loop(bundle3(x,y,z)) $ \ ~(x,y,z) -> do
   3 #define step2(x,y) loop(bundle2 (x,y)) $ \ ~(x,y) -> do {- stp2(x,y) -}
   4 #define step1(x) loop(x) $ \ ~x -> do
   5 #define step loop(lift0 ()) $ \ ~() -> do
   6 #define _probeST () <- stpProbe