Commit 2c304eef authored by Peter Achten's avatar Peter Achten
Browse files

PA: Cast 'function' placed in separate module. In due time Dynamics should make

this function obsolete.
parent 58530854
definition module cast
Cast :: !.a -> .b
implementation module cast
/* Cast contains abc code because it can't be typed conventionally.
The function Cast is required to break the Existential Type abstraction.
*/
Cast :: !.a -> .b
Cast a
= code
{
pop_a 0
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment