You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 1514 Reporter: administrator Status: closed Resolution: fixed Priority: normal Severity: minor Category: ~DO NOT USE (was: OCaml general)
Bug description
Here's a little bug. The source-file "bug1.ml" is attached last. In
the real file which elicited this symptom, of course, there were no
universally-quantified variables. Every variable was of some ground
type.
At some point, I might go dig into the toplevel and find this puppy,
but on the off chance that I do not, I figured I should report it.
Cheers,
--chet--
bismarck:~/fs/TOOLS2/src/rdf> ocaml
Objective Caml version 3.06
#use "bug1.ml";;
val ntconv_node : 'a -> 'b -> unit list =
val ntconv_edge : 'a -> 'b -> 'c -> 'd =
#trace ntconv_edge;;
ntconv_edge is not a function.
================================================================
bismarck:/fs/TOOLS2/src/rdf> cat /proc/cupinfo
cat: /proc/cupinfo: No such file or directory
bismarck:/fs/TOOLS2/src/rdf> cat /proc/cpuinfo
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 11
model name : Intel(R) Pentium(R) III Mobile CPU 1200MHz
stepping : 1
cpu MHz : 799.331
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips : 1595.80
bismarck:~/fs/TOOLS2/src/rdf> uname -a
Linux bismarck.chet.org 2.4.16 #1 Wed Aug 28 01:02:27 EDT 2002 i686 unknown
let rec ntconv_node stk e =
(assert false : unit list)
and ntconv_edge stk subj = function
_ -> assert false
The text was updated successfully, but these errors were encountered:
Here's a little bug. The source-file "bug1.ml" is attached last. In
the real file which elicited this symptom, of course, there were no
universally-quantified variables. Every variable was of some ground
type.
Yes, #trace on mutually-recursive functions is broken in 3.06.
It's fixed in the working sources, and a patch against 3.06 is below.
Cheers,
Xavier
RCS file: /net/pauillac/caml/repository/csl/toplevel/topdirs.ml,v
retrieving revision 1.59
retrieving revision 1.60
diff -u -r1.59 -r1.60
--- topdirs.ml 2002/11/17 16:42:11 1.59
+++ topdirs.ml 2002/11/18 13:49:44 1.60
@@ -215,7 +215,9 @@
| _ ->
let clos = eval_path path in
(* Nothing to do if it's not a closure *)
if Obj.is_block clos && Obj.tag clos = Obj.closure_tag then begin
Original bug ID: 1514
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)
Bug description
Here's a little bug. The source-file "bug1.ml" is attached last. In
the real file which elicited this symptom, of course, there were no
universally-quantified variables. Every variable was of some ground
type.
At some point, I might go dig into the toplevel and find this puppy,
but on the off chance that I do not, I figured I should report it.
Cheers,
--chet--
bismarck:~/fs/TOOLS2/src/rdf> ocaml
Objective Caml version 3.06
#use "bug1.ml";;
val ntconv_node : 'a -> 'b -> unit list =
val ntconv_edge : 'a -> 'b -> 'c -> 'd =
#trace ntconv_edge;;
ntconv_edge is not a function.
================================================================
bismarck:
/fs/TOOLS2/src/rdf> cat /proc/cupinfo/fs/TOOLS2/src/rdf> cat /proc/cpuinfocat: /proc/cupinfo: No such file or directory
bismarck:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 11
model name : Intel(R) Pentium(R) III Mobile CPU 1200MHz
stepping : 1
cpu MHz : 799.331
cache size : 512 KB
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 2
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips : 1595.80
bismarck:~/fs/TOOLS2/src/rdf> uname -a
Linux bismarck.chet.org 2.4.16 #1 Wed Aug 28 01:02:27 EDT 2002 i686 unknown
let rec ntconv_node stk e =
(assert false : unit list)
and ntconv_edge stk subj = function
_ -> assert false
The text was updated successfully, but these errors were encountered: