Overview | Index | Help

## SMLPPTest0008

`structure SMLPPTest0008 =
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 makeExpression
val assertAssoc
val testAssoc0LL1
val testAssoc0LL2
val testAssoc0LL3
val testAssoc0LN1
val testAssoc0LN2
val testAssoc0LN3
val testAssoc0LR1
val testAssoc0LR2
val testAssoc0LR3
val testAssoc0NL1
val testAssoc0NL2
val testAssoc0NL3
val testAssoc0NN1
val testAssoc0NN2
val testAssoc0NN3
val testAssoc0NR1
val testAssoc0NR2
val testAssoc0NR3
val testAssoc0RL1
val testAssoc0RL2
val testAssoc0RL3
val testAssoc0RN1
val testAssoc0RN2
val testAssoc0RN3
val testAssoc0RR1
val testAssoc0RR2
val testAssoc0RR3
val suite
end`

  test cases examining the relation between the associativity indicators of two guards one of which is nested within the other.

  These cases pretty-print expressions of the form as follows:

       cm{ dn{ ... } ... dn{ ... } }

  c, d denotes assoc direction(`L, R, N`), and m, n denotes assoc strength (integer value).

  Test cases matrix
  case | direction(inner) | direction(outer) | relation R of strength(inner R outer)
  --- | --- | --- | ---
  0LL1 | L | L | <
  0LL2 | =
  0LL3 | >
  0LN1 | N | <
  0LN2 | =
  0LN3 | >
  0LR1 | R | <
  0LR2 | =
  0LR3 | >

Value detail

### TESTASSOC_COLUMNS

`val TESTASSOC_COLUMNS`

### prettyPrint

`val prettyPrint`

### makeExpression

`val makeExpression`

### assertAssoc

`val assertAssoc`

### testAssoc0LL1

`val testAssoc0LL1`

### testAssoc0LL2

`val testAssoc0LL2`

### testAssoc0LL3

`val testAssoc0LL3`

### testAssoc0LN1

`val testAssoc0LN1`

### testAssoc0LN2

`val testAssoc0LN2`

### testAssoc0LN3

`val testAssoc0LN3`

### testAssoc0LR1

`val testAssoc0LR1`

### testAssoc0LR2

`val testAssoc0LR2`

### testAssoc0LR3

`val testAssoc0LR3`

### testAssoc0NL1

`val testAssoc0NL1`

### testAssoc0NL2

`val testAssoc0NL2`

### testAssoc0NL3

`val testAssoc0NL3`

### testAssoc0NN1

`val testAssoc0NN1`

### testAssoc0NN2

`val testAssoc0NN2`

### testAssoc0NN3

`val testAssoc0NN3`

### testAssoc0NR1

`val testAssoc0NR1`

### testAssoc0NR2

`val testAssoc0NR2`

### testAssoc0NR3

`val testAssoc0NR3`

### testAssoc0RL1

`val testAssoc0RL1`

### testAssoc0RL2

`val testAssoc0RL2`

### testAssoc0RL3

`val testAssoc0RL3`

### testAssoc0RN1

`val testAssoc0RN1`

### testAssoc0RN2

`val testAssoc0RN2`

### testAssoc0RN3

`val testAssoc0RN3`

### testAssoc0RR1

`val testAssoc0RR1`

### testAssoc0RR2

`val testAssoc0RR2`

### testAssoc0RR3

`val testAssoc0RR3`

### suite

`val suite`

Overview | Index | Help