1. 08 Aug, 2007 7 commits
  2. 07 Aug, 2007 1 commit
    • bbr's avatar
      further advancement toward general debugging · f1309012
      bbr authored
      - makefile cleans now oracle path
      - completed call for stricths from kicsi
      - added orc directory to input of ghc
      - removed to/from data from prelude
      - include file for strict prelude added
        similar files needed for other libraries
      - let expressions again correctly printed in pretty printer
      - revived the underscore function in strict steps
        and added improvements by holger
      - added type signature in Wrapper
      - thousends of small changes in stricths to make prelude fit
        and include external definitions
  3. 02 Aug, 2007 1 commit
    • bbr's avatar
      towards transforming strict prelude · bcbc4d33
      bbr authored
      - dependencies in Makefile updated for stricths
      - fixed a bug in compiler from adding debug mode
      - added back quotes to Pretty library
      - added banner and better interaction to strict steps
      - many improves in PrettyStrict to make haskell conform code
      - added make capability to stricths
      - as yet removed tuples and lists
      - changed treatment of main function
      - added external definition
  4. 27 Jul, 2007 2 commits
    • bbr's avatar
      white spaces · 1207b7c5
      bbr authored
    • 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
  5. 24 Jul, 2007 2 commits
  6. 23 Jul, 2007 2 commits
    • bbr's avatar
      module generic now functional again · b5aac097
      bbr authored
      - added state arguments for propagate and foldcurry in compiler
      - added Generic to all libraries for make
      - fixed instances for prelude and unsafe
      - changed external definitions of gneric
    • bbr's avatar
      fixed unicode problem in module XML · 0861ba08
      bbr authored
      - exchanged umlaut with call to chr
      - added XML to All_Libraries
  7. 12 Jul, 2007 1 commit
  8. 11 Jul, 2007 2 commits
    • bbr's avatar
      Revert "global states now working" · d47cec9b
      bbr authored
      This reverts commit 01bc5929.
      I only intended to get the Makefile, not the whole global branch.
    • bbr's avatar
      global states now working · 01bc5929
      bbr authored
      - the compiler treats especially:
        a) tests each function of result type Global
        b) makes sure they become proper constants
        c) does not generate a type signature for them
  9. 10 Jul, 2007 4 commits
  10. 09 Jul, 2007 6 commits
  11. 05 Jul, 2007 4 commits
    • bbr's avatar
      external instances compiles now · f3d2b536
      bbr authored
      - the autogenerated files were removed from repository (test if this still compiles upon check out!)
      - the external interfaces of prelude have been modified (phew) such that they compile now
    • bbr's avatar
      compiler changed to add state argument · 88bee93a
      bbr authored
      - some small changes in base files
      - adding the state argument has been bett abstracted
      - compiler adjusted so that auto generated files work
    • bbr's avatar
      base files with state as last element · ca67a103
      bbr authored
      we need to put the state as last element. Otherwise the global module can never work. This is done now for the most basic files.
    • bbr's avatar
      initial commit in git repository · 0c4f92f1
      bbr authored