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