[m-dev.] diff: type_name for higher order, round 2

[Tyson Richard DOWD]

> > BEGIN_CODE
> > 
> > /* code for predicate 'builtin_unify_pred'/2 in mode 0 */
> > mercury__builtin_unify_pred_2_0:
> >         incr_sp_push_msg(2, "mercury_builtin:builtin_unify_pred");
> > 	fatal_error("attempted unification of higher-order terms");
> > END_MODULE
> 
> Indentation problem (mixing spaces and tabs).
> 
> In fact the call to incr_sp_push_msg() is not really necessary.
> 

No, but if you wanted a stack trace, it might be nice.

-- 
       Tyson Dowd           # 4.4: People keep saying the behavior is undefined,
                            # but I just tried it on an ANSI-conforming compiler
     trd at cs.mu.oz.au        # and got the results I expected.
http://www.cs.mu.oz.au/~trd # A: They were wrong. Flame them mercilessly. C-IAQ