@@ -323,8 +323,12 @@ simple_app fun arg =
323 start_unify s
323 start_unify s
324 claim s (Var a)
324 claim s (Var a)
325 prep_fill f [s]
325 prep_fill f [s]
326− focus s; arg -- need to work out the type of the arg, so do it first
326+ -- try elaborating in both orders, since we might learn something useful
327− focus f; fun
328+ try (do focus s; arg
328 complete_fill
332 complete_fill
329 end_unify
333 end_unify