main = getArgs >>= \args ->
if length args /= 1 || head args `notElem` known_args
- then error ("usage: genprimopcode command < primops.i > ...\n"
+ then error ("usage: genprimopcode command < primops.txt > ...\n"
++ " where command is one of\n"
++ unlines (map (" "++) known_args)
)
-- Abstract syntax -----------------------------------------------
------------------------------------------------------------------
--- info for all primops; the totality of the info in primops.txt
+-- info for all primops; the totality of the info in primops.txt(.pp)
data Info
= Info [Option] [PrimOpSpec] -- defaults, primops
deriving Show