Commit 64f861fb 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 4e65e7f6
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
Supports Markdown
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