CVS: sml-dist/src/compiler/FLINT/kernel ltyextern.sml, 1.19, 1.19.24.1

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

Modified Files:
      Tag: primop-branch-2
	ltyextern.sml 
Log Message:
added some error printing to lt_inst

Index: ltyextern.sml
===================================================================
RCS file: /cvsroot/smlnj/sml-dist/src/compiler/FLINT/kernel/ltyextern.sml,v
retrieving revision 1.19
retrieving revision 1.19.24.1
diff -C2 -d -r1.19 -r1.19.24.1
*** ltyextern.sml	1 Jun 2000 18:33:26 -0000	1.19
--- ltyextern.sml	12 Jul 2006 22:02:12 -0000	1.19.24.1
***************
*** 35,38 ****
--- 35,41 ----
  open LtyBasic
  
+ fun tc_bug tc s = bug (s ^ "\n\n" ^ (tc_print tc) ^ "\n\n")
+ fun lt_bug lt s = bug (s ^ "\n\n" ^ (lt_print lt) ^ "\n\n")
+ 
  (** instantiating a polymorphic type or an higher-order constructor *)
  fun lt_inst (lt : lty, ts : tyc list) = 
***************
*** 44,48 ****
               end
           | (_, []) => [nt]   (* this requires further clarifications !!! *)
!          | _ => bug "incorrect lty instantiation in lt_inst")
    end 
  
--- 47,54 ----
               end
           | (_, []) => [nt]   (* this requires further clarifications !!! *)
!          | (lt,ts) => 
!            (print "lt_inst arg: "; print(lt_print (lt_inj lt)); print "\n";
!             print ("ts length: "); print(Int.toString(length ts)); print "\n";
!             bug "incorrect lty instantiation in lt_inst"))
    end 
  



-------------------------------------------------------------------------
Using Tomcat but need to do more? Need to support web services, security?
Get stuff done quickly with pre-integrated technology to make your job easier
Download IBM WebSphere Application Server v.1.0.1 based on Apache Geronimo
http://sel.as-us.falkag.net/sel?cmd=lnk&kid=120709&bid=263057&dat=121642