Bug: op in datatype dec

Andreas Rossberg rossberg@ps.uni-sb.de
Thu, 23 Nov 2000 16:38:06 +0100


MLton does not accept the following declaration:

	datatype t = op X

(regardless of whether X actually is infix or not.)

Here's the compilation log:

compile starting
   MLton 20000906 (built on Fri Oct 20 04:08:03 2000 on
syzygy.clairv.com)
      created this file on Thu Nov 23 16:35:54 2000.
   Do not edit this file.
   Flag settings: 
      aux: false
      canDefunctorize: false
      chunk: coalesce 2000
      defines: [NODEBUG]
      fixed heap: None
      global-floats: false
      indentation: 3
      includes: [mlton.h]
      inline: NonRecursive Some(50)
      inline rounds: 1
      input file: test.sml
      instrument: false
      instrument Sxml: false
      keep Cps: false
      match: left to right
      messages: true
      mode: compile
      native: false
      native-commented: false
      polyvariance: Some({rounds = 2, small = 30, product = 300})
      print at fun entry: false
      profile: false
      show types: false
   numPeeks = 187637
   average position in bucket = 0.191
   parse and elaborate starting
test.sml:1.15-1.15 Error: syntax error found at OP
test.sml:2.0-2.0 Error: unhandled exception in parser
   parse and elaborate raised in 0.008
compile raised in 0.013
mlton: compilation aborted: parse reported errors

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

:: be declarative. be functional. just be. ::