[Chicken-users] dbc (design-by-contract-egg) related problem

[Martin Schneeweis]

Hi,

it seems to me that the dbc egg does not work well when using the
compiler switch "-debug-info".

Without -debug-info my test executable procuces the following output
(something like that I had expected):

----
  Contract violation in (add):
  ...
  Error: exception-handler returned
  ...
  dbc-supplier-test.scm:10: signal              <--
----

  - but -

When compiled *with* "-debug-info", the executable produces no output at
all.

(Maybe the problem has something to do with an exception handler that
returns on a non-continuable exception? - I tried a simple example -
but the simple example works (shows some output) with and without
"-debug-info")

The problem is very simple to reproduce - put the attached files in a
directory and call

> csc -sJ %dbc-supplier-test.scm
> csc -sJ dbc-supplier-test.scm
> csc dbc-client-test.scm
> ./dbc-client-test

  => expected output
  
> csc -debug-info dbc-client-test.scm
> ./dbc-client-test

  => no output
  
I tried different things 
  - also compiling the ...import.scm-files 
  - compiling *all* files with "-debug-info" 
  - removing the *.scm files before compiling the final executable
  
but nothing works (if "-debug-info" is used)

(By the way - I also don't understand why I need the "(use extras)" in
"dbc-client-test.scm" - but without that the executable complains
"Error: unbound variable: sort")

Martin

Attachments
  - output.std-out.txt / output.std-err.txt
      full output of the executable
  - %dbc-supplier-test.scm
      raw definition of "add"
  - dbc-supplier-test.scm
      contract definition for "add" 
  - dbc-client-test.scm
      the "executable" that uses "add"

dbc-client-test.scm
Description: Text Data

%dbc-supplier-test.scm
Description: Text Data

dbc-supplier-test.scm
Description: Text Data

output.std-err.txt
Description: Text document

output.std-out.txt
Description: Text document