CVS: sml-dist/src/compiler/FLINT/kernel ltybasic.sig, 1.8, 1.8.26.1 ltykernel.sig, 1.11.24.1, 1.11.24.2 ltykernel.sml, 1.18.12.5, 1.18.12.6

Update of /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel
In directory sc8-pr-cvs8.sourceforge.net:/tmp/cvs-serv5630/src/compiler/FLINT/kernel

Modified Files:
      Tag: primop-branch-2
	ltybasic.sig ltykernel.sig ltykernel.sml 
Log Message:
changed LtyKernel tcUnbound to carry tycEnv...printing tycEnv upon tcUnbound exception

Index: ltybasic.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltybasic.sig,v
retrieving revision 1.8
retrieving revision 1.8.26.1
diff -C2 -d -r1.8 -r1.8.26.1
*** ltybasic.sig	1 Jun 2000 18:33:26 -0000	1.8
--- ltybasic.sig	31 Jul 2006 18:50:44 -0000	1.8.26.1
***************
*** 116,120 ****
  
  (** utility functions on tycEnv *)
! exception tcUnbound
  type tycEnv = LtyKernel.tycEnv
  val initTycEnv : tycEnv
--- 116,120 ----
  
  (** utility functions on tycEnv *)
! exception tcUnbound of LtyKernel.tycEnv
  type tycEnv = LtyKernel.tycEnv
  val initTycEnv : tycEnv

Index: ltykernel.sig
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltykernel.sig,v
retrieving revision 1.11.24.1
retrieving revision 1.11.24.2
diff -C2 -d -r1.11.24.1 -r1.11.24.2
*** ltykernel.sig	31 Jul 2006 18:07:17 -0000	1.11.24.1
--- ltykernel.sig	31 Jul 2006 18:50:45 -0000	1.11.24.2
***************
*** 92,96 ****
  
  (** utility functions on tycEnv *)
! exception tcUnbound
  val initTycEnv : tycEnv
  val tcInsert : tycEnv * (tyc list option * int) -> tycEnv
--- 92,96 ----
  
  (** utility functions on tycEnv *)
! exception tcUnbound of tycEnv
  val initTycEnv : tycEnv
  val tcInsert : tycEnv * (tyc list option * int) -> tycEnv

Index: ltykernel.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltykernel.sml,v
retrieving revision 1.18.12.5
retrieving revision 1.18.12.6
diff -C2 -d -r1.18.12.5 -r1.18.12.6
*** ltykernel.sml	31 Jul 2006 18:07:17 -0000	1.18.12.5
--- ltykernel.sml	31 Jul 2006 18:50:45 -0000	1.18.12.6
***************
*** 591,595 ****
  in
  
! exception tcUnbound
  val initTycEnv : tycEnv = tc_void
  
--- 591,595 ----
  in
  
! exception tcUnbound of tycEnv
  val initTycEnv : tycEnv = tc_void
  
***************
*** 600,604 ****
        else if i = 1 then
               (case tc_outX tenv of TC_ARROW(_,[x],_) => tc_interp x 
!                                  | _ => raise tcUnbound)
             else bug "unexpected argument in tcLookup"
  
--- 600,604 ----
        else if i = 1 then
               (case tc_outX tenv of TC_ARROW(_,[x],_) => tc_interp x 
!                                  | _ => raise tcUnbound tenv)
             else bug "unexpected argument in tcLookup"
  
***************
*** 808,812 ****
                       print ("ts elements: \n");
                       app (fn tc => (print(tc_print tc); print "\n")) ts;
! 						   raise tcUnbound)
                                        in h(y, 0, nl - n, initTycEnv)
                                       end)
--- 808,812 ----
                       print ("ts elements: \n");
                       app (fn tc => (print(tc_print tc); print "\n")) ts;
! 						   raise tcUnbound tenv)
                                        in h(y, 0, nl - n, initTycEnv)
                                       end)


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys -- and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV