Troubleshooting

Some common problems that may occur.

• An inexplicable compilation error: often, trying once again solves the problem. If not, clear build files before another try.

• agda2hs runs successfully but GHC fails: this means either a problem with a foreign pragma (have you had a typo or used an identifier not previously imported?), a missing import (check All.agda and the .cabal file, as well as the import list of individual modules), or some bug in agda2hs (which might be temporarily circumvented through a foreign pragma).

• The frontend complains about missing symbols: something was wrong with importing the backend’s static library; have you downloaded the right Qt version (compatible with GHC)? Also, check the C headers exported from the backend.