[Axiom-developer] [#219 The interpreter does not understand dependend types] Update

[kratt6]

Changes 
http://wiki.axiom-developer.org/219TheInterpreterDoesNotUnderstandDependendTypes/diff
--
Note that with Peter''s patches the error message 'System Error: Unfortunate 
use of dependant type' is directly triggered by the code produced by aldor. In 
the lisp file, there line 201 reads::

    (|Halt| (the |SInt| 101))))

'|Halt|' is a function in 'foam_l.lisp'. I do not know why the call to this 
error was not produced with the old 'libaxiom.al'. Would be great if somebody 
could help here...

Martin
--
forwarded from http://wiki.axiom-developer.org/address@hidden