| 
 | 
structure SMLPPTest0009 =
struct
  structure Assert = SMLUnit.Assert
  structure Test = SMLUnit.Test
  structure Testee = SMLPP
  structure FE = Testee.FormatExpression
  structure PP = Testee.PrinterParameter
  val TESTASSOC_COLUMNS
  val prettyPrint
  val TESTASSOC_ASSOCSTRENGTH
  val makeExpression
  val assertAssoc
  val testAssoc00L1
  val testAssoc00L2
  val testAssoc00L3
  val testAssoc00L4
  val testAssoc00N1
  val testAssoc00N2
  val testAssoc00N3
  val testAssoc00N4
  val testAssoc00R1
  val testAssoc00R2
  val testAssoc00R3
  val testAssoc00R4
  val suite
end
These cases pretty-print expressions of the form as follows:
 cm{ eL Lm{ ... } ... Rm{ ... } eR }
 
 c denotes assoc direction(L, N, R), and m
 denotes assoc strength (integer value).
 
 
  If eL or eR is not Term or Guard,
 it should be ignored in the inheritance of associativity.
 
| case | direction( c) | left-most of inner( eL) | right-most of inner( eR) | 
|---|---|---|---|
| 00L1 | L | Term | Term | 
| 00L2 | Guard | Guard | |
| 00L3 | Indicator | Indicator | |
| 00L4 | StartOfIndent | EndOfIndent | |
| 00N1 | N | Term | Term | 
| 00N2 | Guard | Guard | |
| 00N3 | Indicator | Indicator | |
| 00N4 | StartOfIndent | EndOfIndent | |
| 00R1 | R | Term | Term | 
| 00R2 | Guard | Guard | |
| 00R3 | Indicator | Indicator | |
| 00R4 | StartOfIndent | EndOfIndent | 
| Value detail | 
|---|
val TESTASSOC_COLUMNS
val prettyPrint
val TESTASSOC_ASSOCSTRENGTH
val makeExpression
val assertAssoc
val testAssoc00L1
val testAssoc00L2
val testAssoc00L3
val testAssoc00L4
val testAssoc00N1
val testAssoc00N2
val testAssoc00N3
val testAssoc00N4
val testAssoc00R1
val testAssoc00R2
val testAssoc00R3
val testAssoc00R4
val suite
| 
 |