Non-exhaustive patterns in lToPer

[dom]

*TestCTR> prettyType tSequence1
SEQUENCE {c2 [2] EXPLICIT INTEGER,
          c1 [1] EXPLICIT INTEGER}

*TestCTR> lEncode tSequence1 [] vSequence1
*** Exception: CTRestruct.lhs:(153,0)-(166,46): Non-exhaustive patterns in function lToPer

CTRestruct.lhs:153:0:
    Warning: Pattern match(es) are non-exhaustive
             In the definition of `lToPer':
                 Patterns not matched:
                     (TAGGED _ _) _ _
                     (SETOF _) _ _
                     BMPSTRING _ _
                     UNIVERSALSTRING _ _

[anonymous]

Replying to dom:

{{{ *TestCTR> prettyType tSequence1 SEQUENCE {c2 [2] EXPLICIT INTEGER, c1 [1] EXPLICIT INTEGER} *TestCTR> lEncode tSequence1 [] vSequence1 *** Exception: CTRestruct.lhs:(153,0)-(166,46): Non-exhaustive patterns in function lToPer CTRestruct.lhs:153:0: Warning: Pattern match(es) are non-exhaustive In the definition of `lToPer': Patterns not matched: (TAGGED _ _) _ _ (SETOF _) _ _ BMPSTRING _ _ UNIVERSALSTRING _ _ }}}

This is now fixed.