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