No error message from typechecker on failure

Bugzilla Link	1076
Created on	May 03, 2013 20:36
Version	svn
OS	Linux
Architecture	PC
Attachments	relaxAKDnotake.sac

Extended Description

Created an attachment (id=974)
source code to reproduce fault
This on an AWLF unit test. 
...
       Inferring algebraically foldable with-loops ...
*** Compilation failed ***
*** Exit code 82 (Running SAC optimizations)
*** 1 Error(s), 3 Warning(s)
[Not much help, eh?]
sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c -V
sac2c v1.00-beta (Haggis And Apple)
 product rev 18133 linux-gnu_x86_64
 (Fri May  3 10:26:21 EDT 2013 by sac)
sac@rattler:~/sac/testsuite/optimizations/awlf$ sac2c-d  relaxAKDnotake.sac -v4 -doawlf -nowlf 
The actual failure is in EBTfundef, at the line:
  CTIabortOnBottom( TYgetBottomError( bottom));
The failure arises from something to do with my recent DL extension, but
the failure mode of the compiler is most unpleasant.