-
bbr authored
- some changes in compiler to call prophecy - new in makefile to produce bin/prophecy (but not part of make all yet) - script kghci recovered - Oracle added to internal Libraries of All_Libraries - Added support for type flat curry synonyms in compiler therefore synonym string eliminated from external prelude - added name for debug modules in Names.hs - Distribution modules now (nearly) identical - prophecy transformation with make and force option - added wrapper for prim_bind
bcd7d35f