/dports/lang/mosml/mosml-ver-2.10.1/src/compiler/ |
H A D | Smltop.sml | 258 ("use", { qualid={qual="Meta", id=["use"]}, info=VARname REGULARo}), 259 ("load", { qualid={qual="Meta", id=["load"]}, info=VARname REGULARo}), 260 ("loadOne",{ qualid={qual="Meta", id=["loadOne"]}, info=VARname REGULARo}), 261 ("loaded", { qualid={qual="Meta", id=["loaded"]}, info=VARname REGULARo}), 262 ("compile",{ qualid={qual="Meta", id=["compile"]}, info=VARname REGULARo}), 265 ("verbose",{ qualid={qual="Meta", id=["verbose"]}, info=VARname REGULARo}), 266 ("quietdec",{ qualid={qual="Meta", id=["quietdec"]}, info=VARname REGULARo}), 277 ("quit", { qualid={qual="Meta", id=["quit"]}, info=VARname REGULARo}), 282 { qualid={qual="Meta", id=["installPP"]}, info=VARname OVL1TPUo}) 318 (fn (id, sc) => let val {qualid,info} = lookup id smltop_con_basis value [all …]
|
H A D | Elab.sml | 617 ([],{qualid = qualid, 648 (fields,{qualid = qualid, 910 case qualid of 918 ([],{ qualid = qualid, info=VARname REGULARo })) 982 exists (fn ii' => #id(#qualid ii) = #id(#qualid ii')) iis; 1769 {qualid=qualid, info = (TypeOfScheme sch,csd)}) VE 1800 { qualid= #qualid(!(#idKind(#info ii))), info=ci } 1810 { qualid= #qualid(!(#idKind(#info ii))), info=ci } 1902 hd(#id(#qualid ii))<=hd(#id(#qualid ii'))) conbind_list 1960 val {qualid=qualid', info=info'} = ii' [all …]
|
H A D | Exec_phr.sml | 23 fun prVal {qualid,info=(sch,status)} = 24 let val qualid = if #qual qualid = "" value 25 then {qual = currentUnitName(), id = #id qualid} (* cvr: rectify on the fly *) 26 else qualid 31 let val slot = get_slot_for_variable (lookupRenEnv ValId qualid) 43 printVQ qualid 47 printVQ qualid
|
H A D | Front.sml | 98 | MLPgv qualid => GVprim qualid 99 | MLPgvt(qualid, ref sc) => GVTprim(qualid, sc) 364 if isGlobalName qualid 374 getGlobal ValId qualid 391 if isGlobalName qualid then getGlobal ValId qualid 483 if isGlobalName qualid 493 getGlobal ValId qualid 512 if isGlobalName qualid then getGlobal ValId qualid 815 if isGlobalName qualid 918 in isUnitName qualid [all …]
|
H A D | Sigmtch.sml | 45 val lam = Lprim(Pset_global (#qualid specStatus, 0), 46 [Lprim(Pget_global (#qualid infStatus, 0), [])]) 54 val lam = Lprim(Pset_global (#qualid specStatus, 0), 63 val lam = Lprim(Pset_global (#qualid specStatus, 0), 73 val lam = Lprim(Pset_global (#qualid specStatus, 0), 82 fun exportVar os valRenList id {info = (_,infInfo),qualid = infQualid} 83 {info = (_,specInfo),qualid = specQualid} = 87 val infStatus = {qualid = infQualid, info = infInfo} 88 val specStatus = {qualid = specQualid, info = specInfo} 166 {info = RS,qualid = infQualid} {info = RS',qualid = specQualid} = [all …]
|
H A D | Pr_zam.sml | 10 | Kget_global (qualid, stamp) => 11 (msgString "get_global "; printQualId qualid; 13 | Kset_global (qualid, stamp) => 14 (msgString "set_global "; printQualId qualid;
|
/dports/lang/mosml/mosml-ver-2.10.1/src/compiler.cminusminus/ |
H A D | Smltop.sml | 254 ("use", { qualid={qual="Meta", id=["use"]}, info=VARname REGULARo}), 255 ("load", { qualid={qual="Meta", id=["load"]}, info=VARname REGULARo}), 256 ("loadOne",{ qualid={qual="Meta", id=["loadOne"]}, info=VARname REGULARo}), 257 ("loaded", { qualid={qual="Meta", id=["loaded"]}, info=VARname REGULARo}), 258 ("compile",{ qualid={qual="Meta", id=["compile"]}, info=VARname REGULARo}), 261 ("verbose",{ qualid={qual="Meta", id=["verbose"]}, info=VARname REGULARo}), 262 ("quietdec",{ qualid={qual="Meta", id=["quietdec"]}, info=VARname REGULARo}), 273 ("quit", { qualid={qual="Meta", id=["quit"]}, info=VARname REGULARo}), 278 { qualid={qual="Meta", id=["installPP"]}, info=VARname OVL1TPUo}) 314 (fn (id, sc) => let val {qualid,info} = lookup id smltop_con_basis value [all …]
|
H A D | Elab.sml | 602 ([],{qualid = qualid, 633 (fields,{qualid = qualid, 895 case qualid of 903 ([],{ qualid = qualid, info=VARname REGULARo })) 967 exists (fn ii' => #id(#qualid ii) = #id(#qualid ii')) iis; 1728 {qualid=qualid, info = (TypeOfScheme sch,csd)}) VE 1759 { qualid= #qualid(!(#idKind(#info ii))), info=ci } 1769 { qualid= #qualid(!(#idKind(#info ii))), info=ci } 1861 hd(#id(#qualid ii))<=hd(#id(#qualid ii'))) conbind_list 1932 val {qualid=qualid', info=info'} = ii' [all …]
|
H A D | Exec_phr.sml | 23 fun prVal {qualid,info=(sch,status)} = 24 let val qualid = if #qual qualid = "" value 25 then {qual = currentUnitName(), id = #id qualid} (* cvr: rectify on the fly *) 26 else qualid 31 let val slot = get_slot_for_variable (lookupRenEnv ValId qualid) 43 printVQ qualid 47 printVQ qualid
|
H A D | Sigmtch.sml | 45 val lam = Lprim(Pset_global (#qualid specStatus, 0), 46 [Lprim(Pget_global (#qualid infStatus, 0), [])]) 54 val lam = Lprim(Pset_global (#qualid specStatus, 0), 63 val lam = Lprim(Pset_global (#qualid specStatus, 0), 73 val lam = Lprim(Pset_global (#qualid specStatus, 0), 82 fun exportVar os valRenList id {info = (_,infInfo),qualid = infQualid} 83 {info = (_,specInfo),qualid = specQualid} = 87 val infStatus = {qualid = infQualid, info = infInfo} 88 val specStatus = {qualid = specQualid, info = specInfo} 149 {info = RS,qualid = infQualid} {info = RS',qualid = specQualid} = [all …]
|
H A D | Front.sml | 98 | MLPgv qualid => GVprim qualid 99 | MLPgvt(qualid, ref sc) => GVTprim(qualid, sc) 364 if isGlobalName qualid 374 getGlobal ValId qualid 391 if isGlobalName qualid then getGlobal ValId qualid 483 if isGlobalName qualid 493 getGlobal ValId qualid 512 if isGlobalName qualid then getGlobal ValId qualid 815 if isGlobalName qualid 918 in isUnitName qualid [all …]
|
H A D | Pr_zam.sml | 11 | Kget_global (qualid, stamp) => 12 (msgString "get_global "; printQualId qualid; 14 | Kset_global (qualid, stamp) => 15 (msgString "set_global "; printQualId qualid;
|
/dports/databases/pg_qualstats/pg_qualstats-2.0.3/ |
H A D | pg_qualstats--2.0.3.sql | 140 OUT qualid bigint, 192 OUT qualid bigint, 289 opno, max(qualid) as qualid, sum(occurences) as occurences, 291 coalesce(qualid, qualnodeid) as qualnodeid 303 qs.qualid as qualid, 311 ) t GROUP BY dbid, relid, userid, queryid, opno, coalesce(qualid, qualnodeid) 374 qs.qualid as qualid, 387 …) i GROUP BY coalesce(uniquequalid, uniquequalnodeid), coalesce(qualid, qualnodeid), dbid, userid… 503 SELECT dbid, amname, qualid, qualnodeid, 523 GROUP BY dbid, amname, qualid, qualnodeid, lrelid, rrelid, [all …]
|
/dports/databases/powa-archivist/powa-archivist-REL_4_0_1/ |
H A D | powa--3.2.0.sql | 760 qualid bigint, field 771 qualid bigint, field 783 qualid bigint, field 791 …FOREIGN KEY (qualid, queryid, dbid, userid) REFERENCES powa_qualstats_quals(qualid, queryid, dbid,… 796 qualid bigint, field 809 qualid bigint, field 1885 GROUP BY qualid, queryid, dbid, userid 1894 WHERE consts.qualid = groups.qualid AND consts.queryid = groups.queryid 1905 WHERE consts.qualid = groups.qualid AND consts.queryid = groups.queryid 1916 WHERE consts.qualid = groups.qualid AND consts.queryid = groups.queryid [all …]
|
/dports/lang/mosml/mosml-ver-2.10.1/src/toolssrc/ |
H A D | Smltope.sml | 648 ("use", { qualid={qual="Meta", id=["use"]}, info=VARname REGULARo}), 649 ("load", { qualid={qual="Meta", id=["load"]}, info=VARname REGULARo}), 650 ("loadOne",{ qualid={qual="Meta", id=["loadOne"]}, info=VARname REGULARo}), 651 ("loaded", { qualid={qual="Meta", id=["loaded"]}, info=VARname REGULARo}), 652 ("compile",{ qualid={qual="Meta", id=["compile"]}, info=VARname REGULARo}), 655 ("verbose",{ qualid={qual="Meta", id=["verbose"]}, info=VARname REGULARo}), 656 ("quietdec",{ qualid={qual="Meta", id=["quietdec"]}, info=VARname REGULARo}), 671 ("quit", { qualid={qual="Meta", id=["quit"]}, info=VARname REGULARo}), 676 { qualid={qual="Meta", id=["installPP"]}, info=VARname OVL1TPUo}) 728 (fn (id, sc) => let val {qualid,info} = lookup id smltop_con_basis value [all …]
|
/dports/lang/mosml/mosml-ver-2.10.1/src/doc/helpsigs/ |
H A D | Asynt.sml | 21 qualid: QualifiedIdent (* Full name *) 32 fun mkIdInfo (loc, qualid) withOp = 33 { qualid = qualid,
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/SemaObjCXX/ |
H A D | overload.mm | 78 int& qualid(id<P0>); function 79 float& qualid(id<P1>); function 82 int& i1 = qualid(a); 83 int& i2 = qualid(b); 85 float& f1 = qualid(c);
|