Ticket #22 (closed defect: fixed)

Opened 6 years ago

Last modified 6 years ago

Non-exhaustive patterns in lToPer

Reported by: dom Owned by: dan
Priority: major Milestone:
Component: component1 Version:
Keywords: Cc:

Description

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

Change History

in reply to: ↑ description   Changed 6 years ago by 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.

  Changed 6 years ago by anonymous

  • status changed from new to closed
  • resolution set to fixed
Note: See TracTickets for help on using tickets.