Mercurial > urweb

comparison src/elaborate.sml @ 1472:18d18a70821e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Implicit argument insertion for local variables
author Adam Chlipala <adam@chlipala.net>
date Tue, 14 Jun 2011 08:54:45 -0400
parents 7d963b8019e6
children cccf8bf64b30
comparison
equal deleted inserted replaced
1471:67ebd30a2283 1472:18d18a70821e
1749 let 1749 let
1750 fun findHead' (e, _) = 1750 fun findHead' (e, _) =
1751 case e of 1751 case e of
1752 L'.ENamed _ => true 1752 L'.ENamed _ => true
1753 | L'.EModProj _ => true 1753 | L'.EModProj _ => true
1754 | L'.ERel _ => true
1754 | L'.EApp (e, _) => findHead' e 1755 | L'.EApp (e, _) => findHead' e
1755 | L'.ECApp (e, _) => findHead' e 1756 | L'.ECApp (e, _) => findHead' e
1756 | L'.EKApp (e, _) => findHead' e 1757 | L'.EKApp (e, _) => findHead' e
1757 | _ => false 1758 | _ => false
1758 in 1759 in