[m-dev.] Re: zero-arity higher-order function terms and apply/1

Tyson Richard DOWD trd at cs.mu.oz.au
Thu Jul 24 14:19:27 AEST 1997


> 
> compiler/mercury_to_mercury.m:
> 	Fix the output of nullary higher-order function insts:
> 	previously it would output `(func() = Mode is Det)',
> 	but the correct output is `((func) = Mode is Det)'.


You should also modify std_util:type_name to use the
	(func) = Type 
syntax.


-- 
       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



More information about the developers mailing list