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