[MLton] building mlton on Snow Leopard

John Reppy jhr at cs.uchicago.edu
Thu Sep 17 07:40:57 PDT 2009


I'm trying to compile mlton (revision 7228) using the command

	make TARGET_ARCH=x86_64 smlnj-mlton

on Snow Leopard, but I'm hitting type errors in ssa/combine- 
conversions.fun

ssa/combine-conversions.fun:57.5-58.60 Warning: type vars not  
generalized because of
    value restriction are instantiated to dummy types (X1,X2,...)
ssa/combine-conversions.fun:64.21-64.46 Error: operator and operand  
don't agree [tycon mismatch]
   operator domain: ?.S.t * ?.X1 option
   operand:         ?.S.t * (('Z * 'Y * {signed:'X}) * 'W) option
   in expression:
     set (x3,SOME conversion)
ssa/combine-conversions.fun:68.7-76.20 Error: case object and rules  
don't agree [tycon mismatch]
   rule domain: ((?.S.t * 'Z * {signed:bool}) * 'Y) option
   object: ?.X1 option
   in expression:
     (case (get x2)
       of NONE => stop ()
        | SOME (prev  as (<pat>,<pat>)) =>
            if (<exp> <= <exp>) andalso (<exp> <= <exp>)
            then loop prev
            else if <exp> andalso <exp>
                 then loop <exp>
                 else if <exp> then <exp> else <exp>)
ssa/combine-conversions.fun:93.10-100.21 Error: case object and rules  
don't agree [tycon mismatch]
   rule domain: ((?.S.t * ?.S.t * {signed:bool}) * ?.S.t) option option
   object: ?.X1 option Option.t
   in expression:
     (case (Option.map (var,get))
       of SOME (SOME (<pat>,<pat>)) =>
            if WordSize.equals (<exp>,<exp>)
            then Var x2
            else PrimApp
                   {args=Vector.new1 <exp>,prim=Prim.wordExtdToWord  
<exp>,
                    targs=Vector.new0 <exp>}
        | _ => exp)




More information about the MLton mailing list