SOLVED: [plt-scheme] define-values/invoke-unit/infer failing

From: Synx (plt at
Date: Tue Aug 18 17:47:35 EDT 2009

The reason was that thelma^ defined 4 functions, but thelma@ defined 6
functions, and louise@ used one of those 6 not in the signature. I just
changed louise@ not to use procedure #6, and use #4 instead in the
proper way, and it stopped breaking.

Of course I stew on this for days, and only moments after I ask for help
does the answer jump out at me.

Posted on the users mailing list.