Hi folks,
I previously mailed the list asking Mac users to tell me the following:
> 1. 32 or 64 bit Haskell Platform?
>
> 2. 32 or 64 bit or universal binary MacPorts / homebrew?
Just in case anyone else is interested, I learned that Mac Idris users
are a highly diverse bunch. Some run Haskell Platform, some have
manually-installed GHC and Cabal. Some have 64-bit everything, and
some have 64-bit libraries and 32-bit GHC. Nobody has universal
binaries in their libraries.
As such, we can't really rely on being able to dynamically link to
Idris' dependencies or RTS from a running interpreter, so I've
implemented the executor in another way.
Thanks to all of you who responded! It was very helpful!
/David