[mercury-users] formal description of the HLDS code

Thomas Charles CONWAY conway at cs.mu.oz.au
Fri Jul 18 10:46:28 AEST 1997

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

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

Thomas Conway               				      conway at cs.mu.oz.au
AD DEUM ET VINUM	  			      Every sword has two edges.

More information about the users mailing list