I've had good success with Fedora 19 and GHC 7.6 on the ODROID. I don't recall any problems with GHCI.

7.4.2 is over 2 years old now. I recommend checking out something newer (7.8.3 being the most recent release).

---

Elliot Robinson

Phone: (321) 252-9660

PGP Fingerprint: 0xD1E72E6A9D0610FFBBF838A6FFB5205A9FEDE59A