[mercury-users] formal description of the HLDS code

[Thomas Charles CONWAY]

Erwan Jahier, you write:
> Hello,
> 
> Is there a formal description of the HLDS code somewhere?
> 

HLDS (standing for High-Level Data Structure) is the high level
representation of Mercury programs used within the Mercury compiler.
If you examine the compiler sources, you'll see several modules with
hlds in their name.  The design notes also contain some relevant
information.

Out of curiosity, why are you wanting to know about the HLDS?

Thomas
-- 
ZZ:wq!
^X^C
Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.