Extend genprimopcode to print primop types for ext-core
authorTim Chevalier <chevalier@alum.wellesley.edu>
Thu, 10 Apr 2008 18:58:10 +0000 (18:58 +0000)
committerTim Chevalier <chevalier@alum.wellesley.edu>
Thu, 10 Apr 2008 18:58:10 +0000 (18:58 +0000)
commit07d1b116efe38566ef51286121da1fc60ef33b16
tree486e16892ad4b75116b6e3728389df15013c5035
parent37323ea050c72aab86f01de04374844c8f66c3a2
Extend genprimopcode to print primop types for ext-core

I added a new flag, --make-ext-core-source, to genprimopcode. It prints out the
type information for primops that the External Core typechecker needs. This
replaces the old mechanism where the ext-core tools had a hard-wired Prims
module that could get out of sync with the old primops.txt. Now, that won't happen.
utils/genprimopcode/Main.hs