File general.sml: Testing structure General...
Should be `E1 or E2':
  E1
  E1
Should be `Bind':
  Bind
  Bind
Should be `Match':
  Match
  Match
Should be `Subscript':
  Subscript
  Subscript
Should be `Overflow':
  Overflow
  Overflow
Should be `Div':
  Div
  Div
Should be `Chr':
  Chr
  Chr
Should be `Fail':
  Fail
  Fail: demo
Should be `Option':
  Option
  Option
Should be `Empty':
  Empty
  Empty