CVS: sml-dist/src/compiler/Elaborator/modules sigmatch.sml, 1.6.8.2, 1.6.8.3

Update of /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv18394/src/compiler/Elaborator/modules

Modified Files:
      Tag: primop-branch-2
	sigmatch.sml 
Log Message:
Moved PrimOp dependent TypesUtil.isValue function to Semant/types/typecheck module and SigMatchFn.sml to Semant/modules/

Index: sigmatch.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/Elaborator/modules/sigmatch.sml,v
retrieving revision 1.6.8.2
retrieving revision 1.6.8.3
diff -C2 -d -r1.6.8.2 -r1.6.8.3
*** sigmatch.sml	20 Jun 2006 01:28:00 -0000	1.6.8.2
--- sigmatch.sml	20 Jun 2006 04:18:10 -0000	1.6.8.3
***************
*** 156,159 ****
--- 156,160 ----
  (* returns true and the new instantiations if actual type > spec type *)
  (* matches an abstract version of a type with its actual version *)
+ (**
  fun absEqvTy (spec, actual, dinfo) : (ty list * tyvar list * ty * bool) =
    let val actual = TU.prune actual
***************
*** 203,207 ****
     in (insttys, instbtvs, specinst, res)
    end
! 
  fun eqvTnspTy (spec, actual, dinfo) : (ty list * tyvar list) = 
    let val actual = TU.prune actual
--- 204,208 ----
     in (insttys, instbtvs, specinst, res)
    end
! *)
  fun eqvTnspTy (spec, actual, dinfo) : (ty list * tyvar list) = 
    let val actual = TU.prune actual