Well, we had

       lazyEval x == (rst(x):(()-> %)) ()

':' was doing what you apparently think that 'pretend' would do.
':' is gone, IIRC 'pretend' failed, so that is why we have SPADCALL...

Oh, we had this? But honestly, I am happy that ':' is gone. When I read the above line, I wouldn't understand it as I understand 'pretend'. 'pretend' for me is no operation, just telling the compiler that it show override the type with what 'pretend' says.
Maybe internally it works differently, but the above is my layman's view.
BTW, I would have no problem if a 'pretend' crashes the system. 'pretend' is claiming that the user knows enough about the compiler to make the claim of a potentially unsafe type cast.

Maybe like Lisp calls, 'pretend' should only appear in what you called "primitive domains'.

Ralf

--
You received this message because you are subscribed to the Google Groups "FriCAS - 
computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/fricas-devel/dde8437b-1f17-f76c-4804-7184ac6ace93%40hemmecke.de.

Reply via email to