doc/guide/src/PackedRepresentation.adoc

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