[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] [#219 The interpreter does not understand dependend ty
From: |
kratt6 |
Subject: |
[Axiom-developer] [#219 The interpreter does not understand dependend types] Update |
Date: |
Fri, 25 Nov 2005 06:58:40 -0600 |
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
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Axiom-developer] [#219 The interpreter does not understand dependend types] Update,
kratt6 <=