1. 04 Aug, 2001 2 commits
  2. 03 Aug, 2001 8 commits
    • ken's avatar
      [project @ 2001-08-03 23:38:50 by ken] · b17957ce
      ken authored
      Fixed: ExitException doesn't exist in __GLASGOW_HASKELL__ < 501,
      so references to ExitException should be preprocessed out.
    • sof's avatar
      [project @ 2001-08-03 20:40:43 by sof] · e8964a48
      sof authored
      - have the toplevel exception handler propagate ExitExceptions, don't flag
        them as panics. i.e., when the dynamic exception handler catches a
        PhaseFailed{}, it throws an ExitException. The outer/topmost handler
        catches this (on a Win32 box, but not my other (Linux) box for some
        reason...), and maps it to a panic, which is not what you want.
      - introduced the old 'Compilation had errors' message in case of a
        PhaseFailed{}; feel free to nuke that one (again).
    • sof's avatar
      [project @ 2001-08-03 17:03:48 by sof] · 0b28f77d
      sof authored
      Keep ghci.c out of C_SRCS on non-mingw plats
    • sof's avatar
      [project @ 2001-08-03 16:30:13 by sof] · 305e5f57
      sof authored
      Full complement of sized Int/Word getter routines
    • sewardj's avatar
      [project @ 2001-08-03 15:11:10 by sewardj] · daf8e15b
      sewardj authored
      Fix enough bugs/incompletenesses so that foreign import (static) works
      fairly well on x86.
      Still ToDo:
      * f-i dynamic
      * save/restore GC/thread context around calls
      * stdcall support
      * pass/return of 64-bit integral quantities on x86
      * sparc implementation
    • sewardj's avatar
      [project @ 2001-08-03 15:05:52 by sewardj] · 593c27ba
      sewardj authored
      wibble: add cast to keep gcc happy.
    • sof's avatar
      [project @ 2001-08-03 07:44:47 by sof] · 65142ed3
      sof authored
      Make dependency generation work a little bit better
      (stage1 goes through OK; yet to do a stage2, but
      thought I'd commit before I hit the sack).
    • sof's avatar
      [project @ 2001-08-03 00:08:07 by sof] · a1d0f6b6
      sof authored
      Only define i_CCALL iff bci_CCALL is defined in WithHc's ByteCodes.h
  3. 02 Aug, 2001 9 commits
    • sewardj's avatar
      [project @ 2001-08-02 17:15:16 by sewardj] · 54afa8cb
      sewardj authored
      Haskell-side support for FFI (foreign import only).
      Since doing the FFI necessarily involves gruesome
      architecture-specific knowledge about calling conventions, I have
      chosen to put this knowledge in Haskell-land, in ByteCodeFFI.
      The general idea is: to do a ccall, the interpreter accumulates the
      args R to L on the stack, as is the normal case for tail-calls.
      However, it then calls a piece of machine code created by ByteCodeFFI
      and which is specific to this call site.  This glue code copies args
      off the Haskell stack, calls the target function, and places the
      result back into a dummy placeholder created on the Haskell stack
      prior to the call.  The interpreter then SLIDEs and RETURNs in the
      normal way.
      The magic glue code copies args off the Haskell stack and pushes them
      directly on the C stack (x86) and/or into regs (sparc et al).  Because
      the code is made up specifically for this call site, it can do all
      that non-interpretively.  The address (of the C fn to call) is
      presented as just another tagged Addr# on the Haskell stack.  This
      makes f-i-dynamic trivial since the first arg is the said Addr#.
      Presently ByteCodeFFI only knows how to generate x86 code sequences.
    • sewardj's avatar
      [project @ 2001-08-02 17:01:33 by sewardj] · a3621909
      sewardj authored
      C-side support for FFI in GHCi (foreign import only).
    • simonmar's avatar
      [project @ 2001-08-02 16:35:10 by simonmar] · e0521ba8
      simonmar authored
      Simplify the dependency analyser to use the Finder instead of doing
      its own directory searching.
    • simonmar's avatar
      [project @ 2001-08-02 16:30:41 by simonmar] · 6487214f
      simonmar authored
      Turn the strictness analyser back on again.
    • simonmar's avatar
      [project @ 2001-08-02 16:05:06 by simonmar] · 89cb459a
      simonmar authored
      Fix something that looks wrong in an attempt to get HEAD back on the
      rails again, whilst trying to get the award for the highest
      size-of-commit-message-to-number-of-lines-actually-changed ratio.
      The problem is this: a constructor defined as
      	data T = A !Int
      will cause a DataCon wrapper to be generated like this:
      	A = \x -> case x of x' { DEFAULT -> $wA x' }
      but the strictness on $wA says that it is strict in its first field.
      This is where the story gets a little hazy, but it seems that the
      compiler (5.00.2) happily removes the extra case thinking that x is
      going to get evaluated anyway, leaving us with
      	A = \x -> $wA x
      and the argument to A ends up not being evaluated at all.  Certain
      other parts of the compiler make use of the evaluatedness of fields in
      order to remove unnecessary cases, with the end result that we end up
      trying to dataToTag# an unevaluated thing, and certain derived Eq
      instances can give wrong results.  Phew.
      Now, here's the bit I *don't* understand: I can only see the bug with
      5.00.2, and only when the data type has more than one constructor:
      	data T = A !Int  |  B
      nevertheless, the HEAD compiler when bootstrapped displays symptoms of
      a broken Eq instance, so I'm trying this fix to see if it helps.
      The Attempted Fix: give the DataConId a fully-lazy strictness
    • ken's avatar
      [project @ 2001-08-02 15:33:35 by ken] · 73eb728f
      ken authored
      Some 64-bit fixes for the new GC code.
    • simonmar's avatar
      [project @ 2001-08-02 08:29:42 by simonmar] · c746737f
      simonmar authored
      oops, only import Exception.block when compiling GHCi (and we know
      we're bootstrapping)
    • qrczak's avatar
      [project @ 2001-08-02 05:15:33 by qrczak] · 63cd81f9
      qrczak authored
      Give ghc yet more memory.
    • sof's avatar
      [project @ 2001-08-02 01:01:46 by sof] · 053d8532
      sof authored
      Example invocation of 'windres' was a bit off
  4. 01 Aug, 2001 6 commits
    • sof's avatar
      [project @ 2001-08-01 21:55:04 by sof] · 262df042
      sof authored
      Support LFNs
    • qrczak's avatar
      [project @ 2001-08-01 20:37:00 by qrczak] · 0d84f3fa
      qrczak authored
      Give ghc more heap so it can bootstrap itself until the strictness
      analyser works again.
    • simonmar's avatar
      [project @ 2001-08-01 12:07:50 by simonmar] · f7828a36
      simonmar authored
      Signification cleanup & rewrite of CmLink.
      Fixes at least one bug: the PersistentLinkerState could sometimes get
      out of step with the RTS's idea of which modules were loaded, leading
      to an unloadObj failure when we try to unload the same module twice.
      This could happen if a ^C exception is received in the middle of a
      Fixed by keeping the part of the linker's state that must match up
      with the RTS's internal state entirely private to CmLink, stored in a
      global variable.  The operations in CmLink which manipulate this state
      are now wrapped by Exception.block, and so are safe from ^C
    • simonmar's avatar
      [project @ 2001-08-01 11:49:27 by simonmar] · fe5ab8f5
      simonmar authored
      use :set rather than :s
    • simonmar's avatar
      [project @ 2001-08-01 08:20:33 by simonmar] · 17678875
      simonmar authored
      *now* UF_CCS isn't used anywhere.
      (and it was wrong, too, which is why I wanted to get rid of it)
    • qrczak's avatar
      [project @ 2001-08-01 06:56:20 by qrczak] · c7876ef3
      qrczak authored
      Temporarily add -H80M to options for some modules, until the strictness
      analyser is working again.
  5. 31 Jul, 2001 8 commits
  6. 30 Jul, 2001 6 commits
  7. 26 Jul, 2001 1 commit