[hcoop/debian/mlton.git] / doc / guide / src / PackedRepresentation.adoc

PackedRepresentation
====================

<:PackedRepresentation:> is an analysis pass for the <:SSA2:>
<:IntermediateLanguage:>, invoked from <:ToRSSA:>.

== Description ==

This pass analyzes a <:SSA2:> program to compute a packed
representation for each object.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/backend/representation.sig)>
* <!ViewGitFile(mlton,master,mlton/backend/packed-representation.fun)>

== Details and Notes ==

Has a special case to make sure that `true` is represented as `1` and
`false` is represented as `0`.
Commit	Line	Data
7f918cf1 CE	1	PackedRepresentation
	2	====================
	3
	4	<:PackedRepresentation:> is an analysis pass for the <:SSA2:>
	5	<:IntermediateLanguage:>, invoked from <:ToRSSA:>.
	6
	7	== Description ==
	8
	9	This pass analyzes a <:SSA2:> program to compute a packed
	10	representation for each object.
	11
	12	== Implementation ==
	13
	14	* <!ViewGitFile(mlton,master,mlton/backend/representation.sig)>
	15	* <!ViewGitFile(mlton,master,mlton/backend/packed-representation.fun)>
	16
	17	== Details and Notes ==
	18
	19	Has a special case to make sure that `true` is represented as `1` and
	20	`false` is represented as `0`.