Do not do SpecConstr on functions that unconditionally diverge
-rw-r--r-- 5280 .darcs-boring
-rw-r--r-- 3872 ANNOUNCE
-rw-r--r-- 1630 HACKING
-rw-r--r-- 1611 LICENSE
-rw-r--r-- 24920 Makefile
-rw-r--r-- 3670 README
-rw-r--r-- 41078 aclocal.m4
drwxr-xr-x - bindisttest
-rw-r--r-- 673 boot
drwxr-xr-x - compiler
-rw-r--r-- 44208 config.guess
-rw-r--r-- 32448 config.sub
-rw-r--r-- 41264 configure.ac
-rw-r--r-- 5836 darcs-all
drwxr-xr-x - distrib
drwxr-xr-x - docs
drwxr-xr-x - driver
-rw-r--r-- 19 extra-gcc-opts.in
-rw-r--r-- 7023 ghc.spec.in
drwxr-xr-x - ghc
drwxr-xr-x - gmp
drwxr-xr-x - includes
-rw-r--r-- 13184 install-sh
drwxr-xr-x - libffi
drwxr-xr-x - libraries
drwxr-xr-x - mk
-rw-r--r-- 4298 packages
-rw-r--r-- 2993 push-all
drwxr-xr-x - quickcheck
drwxr-xr-x - rts
-rw-r--r-- 7451 sync-all
drwxr-xr-x - utils
-rw-r--r-- 3642 validate