Update of /cvsroot/monetdb/pathfinder/compiler/semantics
In directory sc8-pr-cvs16.sourceforge.net:/tmp/cvs-serv3031/compiler/semantics
Modified Files:
Tag: XQuery_0-18
typecheck.brg
Log Message:
back-ported JanR's checkin from the development trunk to the XQuery_0-18
release branch:
========
compiler/semantics/typecheck.brg, 1.60 -> 1.61
--------
-- Fixed typing of fn:distinct-values
========
This supposely fixes
[ 1760168 ] PF: wrong use of leftfetchjoin causes segfault in bat_cast
https://sourceforge.net/tracker/index.php?func=detail&aid=1760168&group_id=56967&atid=482468
stable test output still needs to be confirmed.
Index: typecheck.brg
===================================================================
RCS file: /cvsroot/monetdb/pathfinder/compiler/semantics/typecheck.brg,v
retrieving revision 1.58
retrieving revision 1.58.2.1
diff -u -d -r1.58 -r1.58.2.1
--- typecheck.brg 25 May 2007 21:55:21 -0000 1.58
+++ typecheck.brg 6 Aug 2007 22:28:35 -0000 1.58.2.1
@@ -1473,13 +1473,6 @@
(PFty_prime (PFty_defn(TY(L(args)))))));
}
- /* specific typing rules for fn:reverse() */
- if (! PFqname_eq (fn->qname, PFqname (PFns_fn, "reverse"))) {
- assert (args->kind == c_arg && R(args)->kind == c_nil);
- return *PFty_simplify (PFty_quantifier (TY(L(args)))
- (PFty_prime (PFty_defn(TY(L(args))))));
- }
-
/* specific typing rules for fn:subsequence() */
if (! PFqname_eq (fn->qname, PFqname (PFns_fn, "subsequence"))) {
@@ -1508,7 +1501,9 @@
PFty_prime (PFty_defn (TY(L(args))))));
}
- if (! PFqname_eq (fn->qname, PFqname (PFns_fn, "trace")) ||
+ if (! PFqname_eq (fn->qname, PFqname (PFns_fn, "distinct-values")) ||
+ ! PFqname_eq (fn->qname, PFqname (PFns_fn, "reverse")) ||
+ ! PFqname_eq (fn->qname, PFqname (PFns_fn, "trace")) ||
! PFqname_eq (fn->qname, PFqname (PFns_fn, "unordered"))) {
return *PFty_simplify (
(PFty_quantifier (PFty_defn (TY(L(args))))
-------------------------------------------------------------------------
This SF.net email is sponsored by: Splunk Inc.
Still grepping through log files to find problems? Stop.
Now Search log events and configuration files using AJAX and a browser.
Download your FREE copy of Splunk now >> http://get.splunk.com/
_______________________________________________
Monetdb-pf-checkins mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/monetdb-pf-checkins
