• bbr's avatar
    oracle production now working from kicsi · bcd7d35f
    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