Mercurial > urweb
diff src/elab_ops.sml @ 1533:75d77fbe7c94
Distribute applications of "arrow type" ECase across branches.
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 12 Aug 2011 00:55:57 -0430 |
parents | c7b9a33c26c8 |
children | 20f898c29525 |
author | Karn Kallio <kkallio@eka> |
---|---|
date | Fri, 12 Aug 2011 00:55:57 -0430 |
parents | c7b9a33c26c8 |
children | 20f898c29525 |