[MLton] MLton deviation (or else PolyML is wrong)

Hi,

I've encountered a case where MLton accepts an SML program while PolyML  
reject it. At line 332 and line 335 of the attached SML program, PolyML  
complains type `Word8Vector.vector` is not compatible with type  
`VectorSlice.vector`, and MLton don't.

PolyML says:

     Can't unify bytes = Word8Array.vector (*Created from opaque signature*)
     with 'a vector (*In Basis*) (Different type constructors)

I'm not sure of which is wrong and which is right.

-- 
Yannick Duchêne

------------------------------------------------------------------------------
WatchGuard Dimension instantly turns raw network data into actionable 
security intelligence. It gives you real-time visual feedback on key
security issues and trends.  Skip the complicated setup - simply import
a virtual appliance and go from zero to informed in seconds.
http://pubads.g.doubleclick.net/gampad/clk?id=123612991&iu=/4140/ostg.clktrk

_______________________________________________
MLton-devel mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-devel