[MLton-commit] r6729

[Matthew Fluet]

SSA primitives should never see arrow types.
----------------------------------------------------------------------

U   mlton/trunk/mlton/closure-convert/closure-convert.fun
U   mlton/trunk/mlton/ssa/useless.fun

----------------------------------------------------------------------

Modified: mlton/trunk/mlton/closure-convert/closure-convert.fun
===================================================================
--- mlton/trunk/mlton/closure-convert/closure-convert.fun	2008-08-19 22:11:38 UTC (rev 6728)
+++ mlton/trunk/mlton/closure-convert/closure-convert.fun	2008-08-19 22:11:44 UTC (rev 6729)
@@ -1,4 +1,4 @@
-(* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 1999-2005, 2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -1016,7 +1016,7 @@
                                        {args = Vector.map (args, varInfoType),
                                         result = ty,
                                         deArray = Type.deArray,
-                                        deArrow = Type.deArrow,
+                                        deArrow = fn _ => Error.bug "ClosureConvert.convertPrimExp: deArrow",
                                         deVector = Type.deVector,
                                         deWeak = Type.deWeak}),
                                        Vector.map (args, convertVarInfo))

Modified: mlton/trunk/mlton/ssa/useless.fun
===================================================================
--- mlton/trunk/mlton/ssa/useless.fun	2008-08-19 22:11:38 UTC (rev 6728)
+++ mlton/trunk/mlton/ssa/useless.fun	2008-08-19 22:11:44 UTC (rev 6729)
@@ -1,4 +1,4 @@
-(* Copyright (C) 1999-2007 Henry Cejtin, Matthew Fluet, Suresh
+(* Copyright (C) 1999-2008 Henry Cejtin, Matthew Fluet, Suresh
  *    Jagannathan, and Stephen Weeks.
  * Copyright (C) 1997-2000 NEC Research Institute.
  *
@@ -759,13 +759,14 @@
                   PrimApp
                   {prim = prim,
                    args = args,
-                   targs = Prim.extractTargs (prim,
-                                              {args = argTypes,
-                                               result = resultType,
-                                               deArray = Type.deArray,
-                                               deArrow = Type.deArrow,
-                                               deVector = Type.deVector,
-                                               deWeak = Type.deWeak})}
+                   targs = (Prim.extractTargs
+                            (prim,
+                             {args = argTypes,
+                              result = resultType,
+                              deArray = Type.deArray,
+                              deArrow = fn _ => Error.bug "Useless.doitExp: deArrow",
+                              deVector = Type.deVector,
+                              deWeak = Type.deWeak}))}
                end
           | Select {tuple, offset} =>
                let