Add few more test fixtures
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7458 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
Nicolas Pouillard
parent
4e509164a9
commit
7a780a0c5e
|
|
@ -0,0 +1,704 @@
|
|||
[|
|
||||
aaa;
|
||||
aab;
|
||||
aac;
|
||||
aad;
|
||||
aae;
|
||||
aaf;
|
||||
aag;
|
||||
aah;
|
||||
aai;
|
||||
aaj;
|
||||
aak;
|
||||
aal;
|
||||
aam;
|
||||
aan;
|
||||
aao;
|
||||
aap;
|
||||
aaq;
|
||||
aar;
|
||||
aas;
|
||||
aat;
|
||||
aau;
|
||||
aav;
|
||||
aaw;
|
||||
aax;
|
||||
aay;
|
||||
aaz;
|
||||
aba;
|
||||
abb;
|
||||
abc;
|
||||
abd;
|
||||
abe;
|
||||
abf;
|
||||
abg;
|
||||
abh;
|
||||
abi;
|
||||
abj;
|
||||
abk;
|
||||
abl;
|
||||
abm;
|
||||
abn;
|
||||
abo;
|
||||
abp;
|
||||
abq;
|
||||
abr;
|
||||
abs;
|
||||
abt;
|
||||
abu;
|
||||
abv;
|
||||
abw;
|
||||
abx;
|
||||
aby;
|
||||
abz;
|
||||
aca;
|
||||
acb;
|
||||
acc;
|
||||
acd;
|
||||
ace;
|
||||
acf;
|
||||
acg;
|
||||
ach;
|
||||
aci;
|
||||
acj;
|
||||
ack;
|
||||
acl;
|
||||
acm;
|
||||
acn;
|
||||
aco;
|
||||
acp;
|
||||
acq;
|
||||
acr;
|
||||
acs;
|
||||
act;
|
||||
acu;
|
||||
acv;
|
||||
acw;
|
||||
acx;
|
||||
acy;
|
||||
acz;
|
||||
ada;
|
||||
adb;
|
||||
adc;
|
||||
add;
|
||||
ade;
|
||||
adf;
|
||||
adg;
|
||||
adh;
|
||||
adi;
|
||||
adj;
|
||||
adk;
|
||||
adl;
|
||||
adm;
|
||||
adn;
|
||||
ado;
|
||||
adp;
|
||||
adq;
|
||||
adr;
|
||||
ads;
|
||||
adt;
|
||||
adu;
|
||||
adv;
|
||||
adw;
|
||||
adx;
|
||||
ady;
|
||||
adz;
|
||||
aea;
|
||||
aeb;
|
||||
aec;
|
||||
aed;
|
||||
aee;
|
||||
aef;
|
||||
aeg;
|
||||
aeh;
|
||||
aei;
|
||||
aej;
|
||||
aek;
|
||||
ael;
|
||||
aem;
|
||||
aen;
|
||||
aeo;
|
||||
aep;
|
||||
aeq;
|
||||
aer;
|
||||
aes;
|
||||
aet;
|
||||
aeu;
|
||||
aev;
|
||||
aew;
|
||||
aex;
|
||||
aey;
|
||||
aez;
|
||||
afa;
|
||||
afb;
|
||||
afc;
|
||||
afd;
|
||||
afe;
|
||||
aff;
|
||||
afg;
|
||||
afh;
|
||||
afi;
|
||||
afj;
|
||||
afk;
|
||||
afl;
|
||||
afm;
|
||||
afn;
|
||||
afo;
|
||||
afp;
|
||||
afq;
|
||||
afr;
|
||||
afs;
|
||||
aft;
|
||||
afu;
|
||||
afv;
|
||||
afw;
|
||||
afx;
|
||||
afy;
|
||||
afz;
|
||||
aga;
|
||||
agb;
|
||||
agc;
|
||||
agd;
|
||||
age;
|
||||
agf;
|
||||
agg;
|
||||
agh;
|
||||
agi;
|
||||
agj;
|
||||
agk;
|
||||
agl;
|
||||
agm;
|
||||
agn;
|
||||
ago;
|
||||
agp;
|
||||
agq;
|
||||
agr;
|
||||
ags;
|
||||
agt;
|
||||
agu;
|
||||
agv;
|
||||
agw;
|
||||
agx;
|
||||
agy;
|
||||
agz;
|
||||
aha;
|
||||
ahb;
|
||||
ahc;
|
||||
ahd;
|
||||
ahe;
|
||||
ahf;
|
||||
ahg;
|
||||
ahh;
|
||||
ahi;
|
||||
ahj;
|
||||
ahk;
|
||||
ahl;
|
||||
ahm;
|
||||
ahn;
|
||||
aho;
|
||||
ahp;
|
||||
ahq;
|
||||
ahr;
|
||||
ahs;
|
||||
aht;
|
||||
ahu;
|
||||
ahv;
|
||||
ahw;
|
||||
ahx;
|
||||
ahy;
|
||||
ahz;
|
||||
aia;
|
||||
aib;
|
||||
aic;
|
||||
aid;
|
||||
aie;
|
||||
aif;
|
||||
aig;
|
||||
aih;
|
||||
aii;
|
||||
aij;
|
||||
aik;
|
||||
ail;
|
||||
aim;
|
||||
ain;
|
||||
aio;
|
||||
aip;
|
||||
aiq;
|
||||
air;
|
||||
ais;
|
||||
ait;
|
||||
aiu;
|
||||
aiv;
|
||||
aiw;
|
||||
aix;
|
||||
aiy;
|
||||
aiz;
|
||||
aja;
|
||||
ajb;
|
||||
ajc;
|
||||
ajd;
|
||||
aje;
|
||||
ajf;
|
||||
ajg;
|
||||
ajh;
|
||||
aji;
|
||||
ajj;
|
||||
ajk;
|
||||
ajl;
|
||||
ajm;
|
||||
ajn;
|
||||
ajo;
|
||||
ajp;
|
||||
ajq;
|
||||
ajr;
|
||||
ajs;
|
||||
ajt;
|
||||
aju;
|
||||
ajv;
|
||||
ajw;
|
||||
ajx;
|
||||
ajy;
|
||||
ajz;
|
||||
aka;
|
||||
akb;
|
||||
akc;
|
||||
akd;
|
||||
ake;
|
||||
akf;
|
||||
akg;
|
||||
akh;
|
||||
aki;
|
||||
akj;
|
||||
akk;
|
||||
akl;
|
||||
akm;
|
||||
akn;
|
||||
ako;
|
||||
akp;
|
||||
akq;
|
||||
akr;
|
||||
aks;
|
||||
akt;
|
||||
aku;
|
||||
akv;
|
||||
akw;
|
||||
akx;
|
||||
aky;
|
||||
akz;
|
||||
ala;
|
||||
alb;
|
||||
alc;
|
||||
ald;
|
||||
ale;
|
||||
alf;
|
||||
alg;
|
||||
alh;
|
||||
ali;
|
||||
alj;
|
||||
alk;
|
||||
all;
|
||||
alm;
|
||||
aln;
|
||||
alo;
|
||||
alp;
|
||||
alq;
|
||||
alr;
|
||||
als;
|
||||
alt;
|
||||
alu;
|
||||
alv;
|
||||
alw;
|
||||
alx;
|
||||
aly;
|
||||
alz;
|
||||
ama;
|
||||
amb;
|
||||
amc;
|
||||
amd;
|
||||
ame;
|
||||
amf;
|
||||
amg;
|
||||
amh;
|
||||
ami;
|
||||
amj;
|
||||
amk;
|
||||
aml;
|
||||
amm;
|
||||
amn;
|
||||
amo;
|
||||
amp;
|
||||
amq;
|
||||
amr;
|
||||
ams;
|
||||
amt;
|
||||
amu;
|
||||
amv;
|
||||
amw;
|
||||
amx;
|
||||
amy;
|
||||
amz;
|
||||
ana;
|
||||
anb;
|
||||
anc;
|
||||
ane;
|
||||
anf;
|
||||
ang;
|
||||
anh;
|
||||
ani;
|
||||
anj;
|
||||
ank;
|
||||
anl;
|
||||
anm;
|
||||
ann;
|
||||
ano;
|
||||
anp;
|
||||
anq;
|
||||
anr;
|
||||
ans;
|
||||
ant;
|
||||
anu;
|
||||
anv;
|
||||
anw;
|
||||
anx;
|
||||
any;
|
||||
anz;
|
||||
aoa;
|
||||
aob;
|
||||
aoc;
|
||||
aod;
|
||||
aoe;
|
||||
aof;
|
||||
aog;
|
||||
aoh;
|
||||
aoi;
|
||||
aoj;
|
||||
aok;
|
||||
aol;
|
||||
aom;
|
||||
aon;
|
||||
aoo;
|
||||
aop;
|
||||
aoq;
|
||||
aor;
|
||||
aos;
|
||||
aot;
|
||||
aou;
|
||||
aov;
|
||||
aow;
|
||||
aox;
|
||||
aoy;
|
||||
aoz;
|
||||
apa;
|
||||
apb;
|
||||
apc;
|
||||
apd;
|
||||
ape;
|
||||
apf;
|
||||
apg;
|
||||
aph;
|
||||
api;
|
||||
apj;
|
||||
apk;
|
||||
apl;
|
||||
apm;
|
||||
apn;
|
||||
apo;
|
||||
app;
|
||||
apq;
|
||||
apr;
|
||||
aps;
|
||||
apt;
|
||||
apu;
|
||||
apv;
|
||||
apw;
|
||||
apx;
|
||||
apy;
|
||||
apz;
|
||||
aqa;
|
||||
aqb;
|
||||
aqc;
|
||||
aqd;
|
||||
aqe;
|
||||
aqf;
|
||||
aqg;
|
||||
aqh;
|
||||
aqi;
|
||||
aqj;
|
||||
aqk;
|
||||
aql;
|
||||
aqm;
|
||||
aqn;
|
||||
aqo;
|
||||
aqp;
|
||||
aqq;
|
||||
aqr;
|
||||
aqs;
|
||||
aqt;
|
||||
aqu;
|
||||
aqv;
|
||||
aqw;
|
||||
aqx;
|
||||
aqy;
|
||||
aqz;
|
||||
ara;
|
||||
arb;
|
||||
arc;
|
||||
ard;
|
||||
are;
|
||||
arf;
|
||||
arg;
|
||||
arh;
|
||||
ari;
|
||||
arj;
|
||||
ark;
|
||||
arl;
|
||||
arm;
|
||||
arn;
|
||||
aro;
|
||||
arp;
|
||||
arq;
|
||||
arr;
|
||||
ars;
|
||||
art;
|
||||
aru;
|
||||
arv;
|
||||
arw;
|
||||
arx;
|
||||
ary;
|
||||
arz;
|
||||
asa;
|
||||
asb;
|
||||
asc;
|
||||
asd;
|
||||
ase;
|
||||
asf;
|
||||
asg;
|
||||
ash;
|
||||
asi;
|
||||
asj;
|
||||
ask;
|
||||
asl;
|
||||
asm;
|
||||
asn;
|
||||
aso;
|
||||
asp;
|
||||
asq;
|
||||
ass;
|
||||
ast;
|
||||
asu;
|
||||
asv;
|
||||
asw;
|
||||
asx;
|
||||
asy;
|
||||
asz;
|
||||
ata;
|
||||
atb;
|
||||
atc;
|
||||
atd;
|
||||
ate;
|
||||
atf;
|
||||
atg;
|
||||
ath;
|
||||
ati;
|
||||
atj;
|
||||
atk;
|
||||
atl;
|
||||
atm;
|
||||
atn;
|
||||
ato;
|
||||
atp;
|
||||
atq;
|
||||
atr;
|
||||
ats;
|
||||
att;
|
||||
atu;
|
||||
atv;
|
||||
atw;
|
||||
atx;
|
||||
aty;
|
||||
atz;
|
||||
aua;
|
||||
aub;
|
||||
auc;
|
||||
aud;
|
||||
aue;
|
||||
auf;
|
||||
aug;
|
||||
auh;
|
||||
aui;
|
||||
auj;
|
||||
auk;
|
||||
aul;
|
||||
aum;
|
||||
aun;
|
||||
auo;
|
||||
aup;
|
||||
auq;
|
||||
aur;
|
||||
aus;
|
||||
aut;
|
||||
auu;
|
||||
auv;
|
||||
auw;
|
||||
aux;
|
||||
auy;
|
||||
auz;
|
||||
ava;
|
||||
avb;
|
||||
avc;
|
||||
avd;
|
||||
ave;
|
||||
avf;
|
||||
avg;
|
||||
avh;
|
||||
avi;
|
||||
avj;
|
||||
avk;
|
||||
avl;
|
||||
avm;
|
||||
avn;
|
||||
avo;
|
||||
avp;
|
||||
avq;
|
||||
avr;
|
||||
avs;
|
||||
avt;
|
||||
avu;
|
||||
avv;
|
||||
avw;
|
||||
avx;
|
||||
avy;
|
||||
avz;
|
||||
awa;
|
||||
awb;
|
||||
awc;
|
||||
awd;
|
||||
awe;
|
||||
awf;
|
||||
awg;
|
||||
awh;
|
||||
awi;
|
||||
awj;
|
||||
awk;
|
||||
awl;
|
||||
awm;
|
||||
awn;
|
||||
awo;
|
||||
awp;
|
||||
awq;
|
||||
awr;
|
||||
aws;
|
||||
awt;
|
||||
awu;
|
||||
awv;
|
||||
aww;
|
||||
awx;
|
||||
awy;
|
||||
awz;
|
||||
axa;
|
||||
axb;
|
||||
axc;
|
||||
axd;
|
||||
axe;
|
||||
axf;
|
||||
axg;
|
||||
axh;
|
||||
axi;
|
||||
axj;
|
||||
axk;
|
||||
axl;
|
||||
axm;
|
||||
axn;
|
||||
axo;
|
||||
axp;
|
||||
axq;
|
||||
axr;
|
||||
axs;
|
||||
axt;
|
||||
axu;
|
||||
axv;
|
||||
axw;
|
||||
axx;
|
||||
axy;
|
||||
axz;
|
||||
aya;
|
||||
ayb;
|
||||
ayc;
|
||||
ayd;
|
||||
aye;
|
||||
ayf;
|
||||
ayg;
|
||||
ayh;
|
||||
ayi;
|
||||
ayj;
|
||||
ayk;
|
||||
ayl;
|
||||
aym;
|
||||
ayn;
|
||||
ayo;
|
||||
ayp;
|
||||
ayq;
|
||||
ayr;
|
||||
ays;
|
||||
ayt;
|
||||
ayu;
|
||||
ayv;
|
||||
ayw;
|
||||
ayx;
|
||||
ayy;
|
||||
ayz;
|
||||
aza;
|
||||
azb;
|
||||
azc;
|
||||
azd;
|
||||
aze;
|
||||
azf;
|
||||
azg;
|
||||
azh;
|
||||
azi;
|
||||
azj;
|
||||
azk;
|
||||
azl;
|
||||
azm;
|
||||
azn;
|
||||
azo;
|
||||
azp;
|
||||
azq;
|
||||
azr;
|
||||
azs;
|
||||
azt;
|
||||
azu;
|
||||
azv;
|
||||
azw;
|
||||
azx;
|
||||
azy;
|
||||
azz;
|
||||
baa;
|
||||
bab;
|
||||
bac;
|
||||
bad;
|
||||
bae;
|
||||
baf;
|
||||
bag;
|
||||
bah;
|
||||
bai;
|
||||
baj;
|
||||
bak;
|
||||
bal;
|
||||
bam;
|
||||
ban;
|
||||
bao;
|
||||
bap;
|
||||
baq;
|
||||
bar;
|
||||
bas;
|
||||
bat;
|
||||
bau;
|
||||
bav;
|
||||
baw;
|
||||
bax;
|
||||
bay;
|
||||
baz;
|
||||
bba;
|
||||
bbb
|
||||
|];
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,27 @@
|
|||
<:class_expr< a >>;
|
||||
<:class_expr< A.a B.b >>;
|
||||
<:class_expr< a [ t ] >>;
|
||||
<:class_expr< virtual a >>;
|
||||
<:class_expr< virtual $a$ >>;
|
||||
<:class_expr< virtual $lid:a$ >>;
|
||||
<:class_expr< virtual $lid:a$ [ 't ] >>;
|
||||
(* <:class_expr< virtual a [ t ] >>; *)
|
||||
<:class_expr< $opt:v$ a >>;
|
||||
<:class_expr< $opt:v$ a [ t ] >>;
|
||||
<:class_expr< $opt:v$ $a$ >>;
|
||||
<:class_expr< $opt:v$ $id:a$ >>;
|
||||
<:class_expr< $opt:v$ $a$ [ $t$ ] >>;
|
||||
(* <:class_expr< $opt:v$ a [ $t$ ] >>; *)
|
||||
(* <:class_expr< $opt:v$ a $opt:t$ >>; *)
|
||||
(* <:class_expr< $opt:v$ $a$ $opt:t$ >>; *)
|
||||
|
||||
<:class_type< a >>;
|
||||
<:class_type< a [ t ] >>;
|
||||
<:class_type< virtual a >>;
|
||||
<:class_type< virtual $a$ >>;
|
||||
<:class_type< virtual $lid:a$ >>;
|
||||
<:class_type< virtual $lid:a$ [ 't ] >>;
|
||||
<:class_type< $opt:v$ a >>;
|
||||
<:class_type< $opt:v$ a [ t ] >>;
|
||||
<:class_type< $opt:v$ $a$ >>;
|
||||
<:class_type< $opt:v$ $a$ [ $t$ ] >>;
|
||||
|
|
@ -0,0 +1,90 @@
|
|||
open Camlp4
|
||||
|
||||
module Id = struct
|
||||
let name = "Camlp4Parsers.LoadCamlp4Ast"
|
||||
let version = "$Id$"
|
||||
end
|
||||
|
||||
module Make (Ast : Camlp4.Sig.Camlp4Ast.S) = struct
|
||||
module Ast = Ast
|
||||
open Ast
|
||||
|
||||
let _loc = Loc.ghost
|
||||
|
||||
let parse_implem ?directive_handler:(_) _ _ =
|
||||
let e =
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"), Ast.IdLid (_loc, "extend"))),
|
||||
Ast.ExTyc (_loc, Ast.ExId (_loc, Ast.IdLid (_loc, "expr")),
|
||||
Ast.TyApp (_loc,
|
||||
Ast.TyId (_loc,
|
||||
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"),
|
||||
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Entry"),
|
||||
Ast.IdLid (_loc, "t")))),
|
||||
Ast.TyQuo (_loc, "expr")))),
|
||||
Ast.ExTup (_loc,
|
||||
Ast.ExCom (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "None")),
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExApp (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
|
||||
Ast.ExTup (_loc,
|
||||
Ast.ExCom (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "None")),
|
||||
Ast.ExCom (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "None")),
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExApp (_loc, Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
|
||||
Ast.ExTup (_loc,
|
||||
Ast.ExCom (_loc,
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExId (_loc, Ast.IdUid (_loc, "::")),
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"),
|
||||
Ast.IdUid (_loc, "Skeyword"))),
|
||||
Ast.ExStr (_loc, "foo"))),
|
||||
Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))),
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdAcc (_loc, Ast.IdUid (_loc, "G"),
|
||||
Ast.IdAcc (_loc, Ast.IdUid (_loc, "Action"),
|
||||
Ast.IdLid (_loc, "mk")))),
|
||||
Ast.ExFun (_loc,
|
||||
Ast.AsArr (_loc, Ast.PaAny _loc, Ast.ONone,
|
||||
Ast.ExFun (_loc,
|
||||
Ast.AsArr (_loc,
|
||||
Ast.PaTyc (_loc,
|
||||
Ast.PaId (_loc,
|
||||
Ast.IdLid (_loc, "_loc")),
|
||||
Ast.TyId (_loc,
|
||||
Ast.IdAcc (_loc,
|
||||
Ast.IdUid (_loc, "Loc"),
|
||||
Ast.IdLid (_loc, "t")))),
|
||||
Ast.ONone,
|
||||
Ast.ExTyc (_loc,
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdAcc (_loc,
|
||||
Ast.IdUid (_loc, "Ast"),
|
||||
Ast.IdUid (_loc, "ExId"))),
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdLid (_loc, "_loc"))),
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExApp (_loc,
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdAcc (_loc,
|
||||
Ast.IdUid (_loc, "Ast"),
|
||||
Ast.IdUid (_loc, "IdLid"))),
|
||||
Ast.ExId (_loc,
|
||||
Ast.IdLid (_loc, "_loc"))),
|
||||
Ast.ExStr (_loc, "foo"))),
|
||||
Ast.TyQuo (_loc, "expr")))))))))),
|
||||
Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))))))),
|
||||
Ast.ExId (_loc, Ast.IdUid (_loc, "[]"))))))
|
||||
in Ast.StExp (_loc, e)
|
||||
let parse_interf ?directive_handler:(_) _ _ = assert false;;
|
||||
|
||||
end;;
|
||||
|
||||
let module M = Camlp4.Register.OCamlParser(Id)(Make) in ()
|
||||
|
|
@ -0,0 +1 @@
|
|||
external f : 'a -> 'b = "%identity";
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,29 @@
|
|||
<% types, with_constrs, module_application = ARGV.map { |x| x.to_i } %>
|
||||
|
||||
module type S = sig
|
||||
<%- for i in 0 .. types do -%>
|
||||
type t<%= i %>
|
||||
<%- end -%>
|
||||
end
|
||||
|
||||
module Make (M : S)
|
||||
: S with type t0 = M.t0
|
||||
<%- for i in 1 .. with_constrs do -%>
|
||||
and type t<%= i %> = M.t<%= i %>
|
||||
<%- end -%>
|
||||
= struct
|
||||
include M
|
||||
end
|
||||
|
||||
module M = struct
|
||||
<%- for i in 0 .. types do -%>
|
||||
type t<%= i %> = int -> int -> int
|
||||
<%- end -%>
|
||||
end
|
||||
|
||||
module X =
|
||||
Make
|
||||
<%- module_application.times do -%>
|
||||
(Make
|
||||
<%- end -%>
|
||||
(M)<%= ')' * module_application %>
|
||||
|
|
@ -0,0 +1,50 @@
|
|||
<% types, with_constrs, make, make2 = ARGV.map { |x| x.to_i } %>
|
||||
|
||||
module type S = sig
|
||||
<%- for i in 0 .. types do -%>
|
||||
type t<%= i %>
|
||||
<%- end -%>
|
||||
end
|
||||
|
||||
module Make (M : S)
|
||||
: S with type t0 = M.t0
|
||||
<%- for i in 1 .. with_constrs do -%>
|
||||
and type t<%= i %> = M.t<%= i %>
|
||||
<%- end -%>
|
||||
= struct
|
||||
include M
|
||||
end
|
||||
|
||||
module type S2 = sig
|
||||
module M : S
|
||||
end
|
||||
|
||||
module Make2 (M2 : S2)
|
||||
: S2 with module M = M2.M
|
||||
= struct
|
||||
include M2
|
||||
end
|
||||
|
||||
module M = struct
|
||||
<%- for i in 0 .. types do -%>
|
||||
type t<%= i %> = int -> int -> int
|
||||
<%- end -%>
|
||||
end
|
||||
|
||||
module M1 =
|
||||
Make
|
||||
<%- make.times do -%>
|
||||
(Make
|
||||
<%- end -%>
|
||||
(M)<%= ')' * make %>
|
||||
|
||||
module M2 = struct
|
||||
module M = M1
|
||||
end
|
||||
|
||||
module X =
|
||||
Make2
|
||||
<%- make2.times do -%>
|
||||
(Make2
|
||||
<%- end -%>
|
||||
(M2)<%= ')' * make2 %>
|
||||
|
|
@ -0,0 +1,21 @@
|
|||
open Camlp4.PreCast;
|
||||
module G = MakeGram Lexer;
|
||||
type t = [ A of t and t | B of string | C ];
|
||||
value main = G.Entry.mk "main";
|
||||
value rec length x acc =
|
||||
match x with
|
||||
[ A x y -> length x (length y acc)
|
||||
| B _ -> succ acc
|
||||
| C -> acc ];
|
||||
EXTEND G
|
||||
GLOBAL: main;
|
||||
main:
|
||||
[ [
|
||||
l = FOLD1 (fun a b -> A (B a) b) (C) ident -> l
|
||||
] ];
|
||||
ident:
|
||||
[ [ `LIDENT s -> s ] ];
|
||||
END;
|
||||
let f = Sys.argv.(1) in
|
||||
Format.printf "%d@."
|
||||
(length (G.parse main (Loc.mk f) (Stream.of_channel (open_in f))) 0);
|
||||
|
|
@ -0,0 +1,13 @@
|
|||
open Camlp4.PreCast;
|
||||
module G = MakeGram Lexer;
|
||||
value main = G.Entry.mk "main";
|
||||
EXTEND G
|
||||
GLOBAL: main;
|
||||
main:
|
||||
[ [ l = LIST1 ident -> l ] ];
|
||||
ident:
|
||||
[ [ `LIDENT s -> s ] ];
|
||||
END;
|
||||
let f = Sys.argv.(1) in
|
||||
Format.printf "%d@."
|
||||
(List.length (G.parse main (Loc.mk f) (Stream.of_channel (open_in f))));
|
||||
|
|
@ -0,0 +1,33 @@
|
|||
open Camlp4.PreCast.Syntax;
|
||||
|
||||
value mo _loc =
|
||||
fun
|
||||
[ None -> <:expr< None >>
|
||||
| Some e -> <:expr< Some $e$ >> ];
|
||||
|
||||
EXTEND Gram
|
||||
GLOBAL: expr;
|
||||
expr:
|
||||
[ [ "testbegin";
|
||||
lb = [ "("; l = LIST0 a_LIDENT SEP ","; ")" -> l | "()" -> [] ];
|
||||
b = bar;
|
||||
"testend" ->
|
||||
let e =
|
||||
List.fold_right (fun i acc -> <:expr< [ $lid:i$ :: $acc$ ] >>) lb <:expr< [] >>
|
||||
in <:expr< ($e$, $b$) >>
|
||||
] ];
|
||||
bar:
|
||||
[ [ x = OPT [ o = OPT [ x = "testb" ->
|
||||
<:expr< $str:Token.extract_string x$ >> ]; "testc"; b = baz ->
|
||||
<:expr< ($mo _loc o$, $b$) >> ] -> mo _loc x
|
||||
] ];
|
||||
(* bar:
|
||||
[ [ o = OPT [ o = OPT [ "bar" -> <:expr< bar >> ]; b = baz -> <:expr< ($mo _loc o$, $b$) >> ] ->
|
||||
mo _loc o
|
||||
] ]; *)
|
||||
(* bar:
|
||||
[ [ o = OPT [ "bar" -> <:expr< bar >> ]; b = baz -> <:expr< ($mo _loc o$, $b$) >>
|
||||
] ]; *)
|
||||
baz:
|
||||
[ [ "baz" -> <:expr< baz >> ] ];
|
||||
END;
|
||||
|
|
@ -0,0 +1,22 @@
|
|||
open Camlp4.PreCast;
|
||||
module G = MakeGram Lexer;
|
||||
type t = [ A of t and t | B of string ];
|
||||
value main = G.Entry.mk "main";
|
||||
(* value rec length x acc =
|
||||
match x with
|
||||
[ A x y -> length x (length y acc)
|
||||
| B _ -> succ acc ]; *)
|
||||
value length _ _ = -1;
|
||||
EXTEND G
|
||||
GLOBAL: main;
|
||||
main:
|
||||
[ [ x = SELF; y = SELF -> A x y
|
||||
| i = ident -> B i ] ];
|
||||
ident:
|
||||
[ [ `LIDENT s -> s ] ];
|
||||
END;
|
||||
try
|
||||
let f = Sys.argv.(1) in
|
||||
Format.printf "%d@."
|
||||
(length (G.parse main (Loc.mk f) (Stream.of_channel (open_in f))) 0)
|
||||
with e -> Format.eprintf "error: %a@." Camlp4.ErrorHandler.print e;
|
||||
|
|
@ -0,0 +1,22 @@
|
|||
open Camlp4.PreCast;
|
||||
module G = MakeGram Lexer;
|
||||
type t = [ A of t and t | B of string ];
|
||||
value main = G.Entry.mk "main";
|
||||
(* value rec length x acc =
|
||||
match x with
|
||||
[ A x y -> length x (length y acc)
|
||||
| B _ -> succ acc ]; *)
|
||||
value length _ _ = -1;
|
||||
EXTEND G
|
||||
GLOBAL: main;
|
||||
main:
|
||||
[ [ i = ident; x = SELF -> A (B i) x
|
||||
| i = ident -> B i ] ];
|
||||
ident:
|
||||
[ [ `LIDENT s -> s ] ];
|
||||
END;
|
||||
try
|
||||
let f = Sys.argv.(1) in
|
||||
Format.printf "%d@."
|
||||
(length (G.parse main (Loc.mk f) (Stream.of_channel (open_in f))) 0)
|
||||
with e -> Format.eprintf "error: %a@." Camlp4.ErrorHandler.print e;
|
||||
|
|
@ -0,0 +1,23 @@
|
|||
open Camlp4.PreCast;
|
||||
module G = MakeGram Lexer;
|
||||
type t = [ A of t and t | B of string ];
|
||||
value main = G.Entry.mk "main";
|
||||
(* value rec length x acc =
|
||||
match x with
|
||||
[ A x y -> length x (length y acc)
|
||||
| B _ -> succ acc ]; *)
|
||||
value length _ _ = -1;
|
||||
EXTEND G
|
||||
GLOBAL: main;
|
||||
main:
|
||||
[ RIGHTA
|
||||
[ x = SELF; y = SELF -> A x y
|
||||
| i = ident -> B i ] ];
|
||||
ident:
|
||||
[ [ `LIDENT s -> s ] ];
|
||||
END;
|
||||
try
|
||||
let f = Sys.argv.(1) in
|
||||
Format.printf "%d@."
|
||||
(length (G.parse main (Loc.mk f) (Stream.of_channel (open_in f))) 0)
|
||||
with e -> Format.eprintf "error: %a@." Camlp4.ErrorHandler.print e;
|
||||
|
|
@ -0,0 +1,2 @@
|
|||
EXTEND G expr: [[ l = LIST0 STRING -> l ]]; END;
|
||||
EXTEND G expr: [[ l = LIST0 [ x = STRING -> x ] -> l ]]; END;
|
||||
|
|
@ -0,0 +1,38 @@
|
|||
aaa aab aac aad aae aaf aag aah aai aaj aak aal aam aan aao aap aaq aar aas
|
||||
aat aau aav aaw aax aay aaz aba abb abc abd abe abf abg abh abi abj abk abl
|
||||
abm abn abo abp abq abr abs abt abu abv abw abx aby abz aca acb acc acd ace
|
||||
acf acg ach aci acj ack acl acm acn aco acp acq acr acs act acu acv acw acx
|
||||
acy acz ada adb adc add ade adf adg adh adi adj adk adl adm adn ado adp adq
|
||||
adr ads adt adu adv adw adx ady adz aea aeb aec aed aee aef aeg aeh aei aej
|
||||
aek ael aem aen aeo aep aeq aer aes aet aeu aev aew aex aey aez afa afb afc
|
||||
afd afe aff afg afh afi afj afk afl afm afn afo afp afq afr afs aft afu afv
|
||||
afw afx afy afz aga agb agc agd age agf agg agh agi agj agk agl agm agn ago
|
||||
agp agq agr ags agt agu agv agw agx agy agz aha ahb ahc ahd ahe ahf ahg ahh
|
||||
ahi ahj ahk ahl ahm ahn aho ahp ahq ahr ahs aht ahu ahv ahw ahx ahy ahz aia
|
||||
aib aic aid aie aif aig aih aii aij aik ail aim ain aio aip aiq air ais ait
|
||||
aiu aiv aiw aix aiy aiz aja ajb ajc ajd aje ajf ajg ajh aji ajj ajk ajl ajm
|
||||
ajn ajo ajp ajq ajr ajs ajt aju ajv ajw ajx ajy ajz aka akb akc akd ake akf
|
||||
akg akh aki akj akk akl akm akn ako akp akq akr aks akt aku akv akw akx aky
|
||||
akz ala alb alc ald ale alf alg alh ali alj alk all alm aln alo alp alq alr
|
||||
als alt alu alv alw alx aly alz ama amb amc amd ame amf amg amh ami amj amk
|
||||
aml amm amn amo amp amq amr ams amt amu amv amw amx amy amz ana anb anc and
|
||||
ane anf ang anh ani anj ank anl anm ann ano anp anq anr ans ant anu anv anw
|
||||
anx any anz aoa aob aoc aod aoe aof aog aoh aoi aoj aok aol aom aon aoo aop
|
||||
aoq aor aos aot aou aov aow aox aoy aoz apa apb apc apd ape apf apg aph api
|
||||
apj apk apl apm apn apo app apq apr aps apt apu apv apw apx apy apz aqa aqb
|
||||
aqc aqd aqe aqf aqg aqh aqi aqj aqk aql aqm aqn aqo aqp aqq aqr aqs aqt aqu
|
||||
aqv aqw aqx aqy aqz ara arb arc ard are arf arg arh ari arj ark arl arm arn
|
||||
aro arp arq arr ars art aru arv arw arx ary arz asa asb asc asd ase asf asg
|
||||
ash asi asj ask asl asm asn aso asp asq asr ass ast asu asv asw asx asy asz
|
||||
ata atb atc atd ate atf atg ath ati atj atk atl atm atn ato atp atq atr ats
|
||||
att atu atv atw atx aty atz aua aub auc aud aue auf aug auh aui auj auk aul
|
||||
aum aun auo aup auq aur aus aut auu auv auw aux auy auz ava avb avc avd ave
|
||||
avf avg avh avi avj avk avl avm avn avo avp avq avr avs avt avu avv avw avx
|
||||
avy avz awa awb awc awd awe awf awg awh awi awj awk awl awm awn awo awp awq
|
||||
awr aws awt awu awv aww awx awy awz axa axb axc axd axe axf axg axh axi axj
|
||||
axk axl axm axn axo axp axq axr axs axt axu axv axw axx axy axz aya ayb ayc
|
||||
ayd aye ayf ayg ayh ayi ayj ayk ayl aym ayn ayo ayp ayq ayr ays ayt ayu ayv
|
||||
ayw ayx ayy ayz aza azb azc azd aze azf azg azh azi azj azk azl azm azn azo
|
||||
azp azq azr azs azt azu azv azw azx azy azz baa bab bac bad bae baf bag bah
|
||||
bai baj bak bal bam ban bao bap baq bar bas bat bau bav baw bax bay baz bba
|
||||
bbb
|
||||
|
|
@ -0,0 +1,499 @@
|
|||
aaaa aaab aaac aaad aaae aaaf aaag aaah aaai aaaj aaak aaal aaam aaan aaao
|
||||
aaap aaaq aaar aaas aaat aaau aaav aaaw aaax aaay aaaz aaba aabb aabc aabd
|
||||
aabe aabf aabg aabh aabi aabj aabk aabl aabm aabn aabo aabp aabq aabr aabs
|
||||
aabt aabu aabv aabw aabx aaby aabz aaca aacb aacc aacd aace aacf aacg aach
|
||||
aaci aacj aack aacl aacm aacn aaco aacp aacq aacr aacs aact aacu aacv aacw
|
||||
aacx aacy aacz aada aadb aadc aadd aade aadf aadg aadh aadi aadj aadk aadl
|
||||
aadm aadn aado aadp aadq aadr aads aadt aadu aadv aadw aadx aady aadz aaea
|
||||
aaeb aaec aaed aaee aaef aaeg aaeh aaei aaej aaek aael aaem aaen aaeo aaep
|
||||
aaeq aaer aaes aaet aaeu aaev aaew aaex aaey aaez aafa aafb aafc aafd aafe
|
||||
aaff aafg aafh aafi aafj aafk aafl aafm aafn aafo aafp aafq aafr aafs aaft
|
||||
aafu aafv aafw aafx aafy aafz aaga aagb aagc aagd aage aagf aagg aagh aagi
|
||||
aagj aagk aagl aagm aagn aago aagp aagq aagr aags aagt aagu aagv aagw aagx
|
||||
aagy aagz aaha aahb aahc aahd aahe aahf aahg aahh aahi aahj aahk aahl aahm
|
||||
aahn aaho aahp aahq aahr aahs aaht aahu aahv aahw aahx aahy aahz aaia aaib
|
||||
aaic aaid aaie aaif aaig aaih aaii aaij aaik aail aaim aain aaio aaip aaiq
|
||||
aair aais aait aaiu aaiv aaiw aaix aaiy aaiz aaja aajb aajc aajd aaje aajf
|
||||
aajg aajh aaji aajj aajk aajl aajm aajn aajo aajp aajq aajr aajs aajt aaju
|
||||
aajv aajw aajx aajy aajz aaka aakb aakc aakd aake aakf aakg aakh aaki aakj
|
||||
aakk aakl aakm aakn aako aakp aakq aakr aaks aakt aaku aakv aakw aakx aaky
|
||||
aakz aala aalb aalc aald aale aalf aalg aalh aali aalj aalk aall aalm aaln
|
||||
aalo aalp aalq aalr aals aalt aalu aalv aalw aalx aaly aalz aama aamb aamc
|
||||
aamd aame aamf aamg aamh aami aamj aamk aaml aamm aamn aamo aamp aamq aamr
|
||||
aams aamt aamu aamv aamw aamx aamy aamz aana aanb aanc aand aane aanf aang
|
||||
aanh aani aanj aank aanl aanm aann aano aanp aanq aanr aans aant aanu aanv
|
||||
aanw aanx aany aanz aaoa aaob aaoc aaod aaoe aaof aaog aaoh aaoi aaoj aaok
|
||||
aaol aaom aaon aaoo aaop aaoq aaor aaos aaot aaou aaov aaow aaox aaoy aaoz
|
||||
aapa aapb aapc aapd aape aapf aapg aaph aapi aapj aapk aapl aapm aapn aapo
|
||||
aapp aapq aapr aaps aapt aapu aapv aapw aapx aapy aapz aaqa aaqb aaqc aaqd
|
||||
aaqe aaqf aaqg aaqh aaqi aaqj aaqk aaql aaqm aaqn aaqo aaqp aaqq aaqr aaqs
|
||||
aaqt aaqu aaqv aaqw aaqx aaqy aaqz aara aarb aarc aard aare aarf aarg aarh
|
||||
aari aarj aark aarl aarm aarn aaro aarp aarq aarr aars aart aaru aarv aarw
|
||||
aarx aary aarz aasa aasb aasc aasd aase aasf aasg aash aasi aasj aask aasl
|
||||
aasm aasn aaso aasp aasq aasr aass aast aasu aasv aasw aasx aasy aasz aata
|
||||
aatb aatc aatd aate aatf aatg aath aati aatj aatk aatl aatm aatn aato aatp
|
||||
aatq aatr aats aatt aatu aatv aatw aatx aaty aatz aaua aaub aauc aaud aaue
|
||||
aauf aaug aauh aaui aauj aauk aaul aaum aaun aauo aaup aauq aaur aaus aaut
|
||||
aauu aauv aauw aaux aauy aauz aava aavb aavc aavd aave aavf aavg aavh aavi
|
||||
aavj aavk aavl aavm aavn aavo aavp aavq aavr aavs aavt aavu aavv aavw aavx
|
||||
aavy aavz aawa aawb aawc aawd aawe aawf aawg aawh aawi aawj aawk aawl aawm
|
||||
aawn aawo aawp aawq aawr aaws aawt aawu aawv aaww aawx aawy aawz aaxa aaxb
|
||||
aaxc aaxd aaxe aaxf aaxg aaxh aaxi aaxj aaxk aaxl aaxm aaxn aaxo aaxp aaxq
|
||||
aaxr aaxs aaxt aaxu aaxv aaxw aaxx aaxy aaxz aaya aayb aayc aayd aaye aayf
|
||||
aayg aayh aayi aayj aayk aayl aaym aayn aayo aayp aayq aayr aays aayt aayu
|
||||
aayv aayw aayx aayy aayz aaza aazb aazc aazd aaze aazf aazg aazh aazi aazj
|
||||
aazk aazl aazm aazn aazo aazp aazq aazr aazs aazt aazu aazv aazw aazx aazy
|
||||
aazz abaa abab abac abad abae abaf abag abah abai abaj abak abal abam aban
|
||||
abao abap abaq abar abas abat abau abav abaw abax abay abaz abba abbb abbc
|
||||
abbd abbe abbf abbg abbh abbi abbj abbk abbl abbm abbn abbo abbp abbq abbr
|
||||
abbs abbt abbu abbv abbw abbx abby abbz abca abcb abcc abcd abce abcf abcg
|
||||
abch abci abcj abck abcl abcm abcn abco abcp abcq abcr abcs abct abcu abcv
|
||||
abcw abcx abcy abcz abda abdb abdc abdd abde abdf abdg abdh abdi abdj abdk
|
||||
abdl abdm abdn abdo abdp abdq abdr abds abdt abdu abdv abdw abdx abdy abdz
|
||||
abea abeb abec abed abee abef abeg abeh abei abej abek abel abem aben abeo
|
||||
abep abeq aber abes abet abeu abev abew abex abey abez abfa abfb abfc abfd
|
||||
abfe abff abfg abfh abfi abfj abfk abfl abfm abfn abfo abfp abfq abfr abfs
|
||||
abft abfu abfv abfw abfx abfy abfz abga abgb abgc abgd abge abgf abgg abgh
|
||||
abgi abgj abgk abgl abgm abgn abgo abgp abgq abgr abgs abgt abgu abgv abgw
|
||||
abgx abgy abgz abha abhb abhc abhd abhe abhf abhg abhh abhi abhj abhk abhl
|
||||
abhm abhn abho abhp abhq abhr abhs abht abhu abhv abhw abhx abhy abhz abia
|
||||
abib abic abid abie abif abig abih abii abij abik abil abim abin abio abip
|
||||
abiq abir abis abit abiu abiv abiw abix abiy abiz abja abjb abjc abjd abje
|
||||
abjf abjg abjh abji abjj abjk abjl abjm abjn abjo abjp abjq abjr abjs abjt
|
||||
abju abjv abjw abjx abjy abjz abka abkb abkc abkd abke abkf abkg abkh abki
|
||||
abkj abkk abkl abkm abkn abko abkp abkq abkr abks abkt abku abkv abkw abkx
|
||||
abky abkz abla ablb ablc abld able ablf ablg ablh abli ablj ablk abll ablm
|
||||
abln ablo ablp ablq ablr abls ablt ablu ablv ablw ablx ably ablz abma abmb
|
||||
abmc abmd abme abmf abmg abmh abmi abmj abmk abml abmm abmn abmo abmp abmq
|
||||
abmr abms abmt abmu abmv abmw abmx abmy abmz abna abnb abnc abnd abne abnf
|
||||
abng abnh abni abnj abnk abnl abnm abnn abno abnp abnq abnr abns abnt abnu
|
||||
abnv abnw abnx abny abnz aboa abob aboc abod aboe abof abog aboh aboi aboj
|
||||
abok abol abom abon aboo abop aboq abor abos abot abou abov abow abox aboy
|
||||
aboz abpa abpb abpc abpd abpe abpf abpg abph abpi abpj abpk abpl abpm abpn
|
||||
abpo abpp abpq abpr abps abpt abpu abpv abpw abpx abpy abpz abqa abqb abqc
|
||||
abqd abqe abqf abqg abqh abqi abqj abqk abql abqm abqn abqo abqp abqq abqr
|
||||
abqs abqt abqu abqv abqw abqx abqy abqz abra abrb abrc abrd abre abrf abrg
|
||||
abrh abri abrj abrk abrl abrm abrn abro abrp abrq abrr abrs abrt abru abrv
|
||||
abrw abrx abry abrz absa absb absc absd abse absf absg absh absi absj absk
|
||||
absl absm absn abso absp absq absr abss abst absu absv absw absx absy absz
|
||||
abta abtb abtc abtd abte abtf abtg abth abti abtj abtk abtl abtm abtn abto
|
||||
abtp abtq abtr abts abtt abtu abtv abtw abtx abty abtz abua abub abuc abud
|
||||
abue abuf abug abuh abui abuj abuk abul abum abun abuo abup abuq abur abus
|
||||
abut abuu abuv abuw abux abuy abuz abva abvb abvc abvd abve abvf abvg abvh
|
||||
abvi abvj abvk abvl abvm abvn abvo abvp abvq abvr abvs abvt abvu abvv abvw
|
||||
abvx abvy abvz abwa abwb abwc abwd abwe abwf abwg abwh abwi abwj abwk abwl
|
||||
abwm abwn abwo abwp abwq abwr abws abwt abwu abwv abww abwx abwy abwz abxa
|
||||
abxb abxc abxd abxe abxf abxg abxh abxi abxj abxk abxl abxm abxn abxo abxp
|
||||
abxq abxr abxs abxt abxu abxv abxw abxx abxy abxz abya abyb abyc abyd abye
|
||||
abyf abyg abyh abyi abyj abyk abyl abym abyn abyo abyp abyq abyr abys abyt
|
||||
abyu abyv abyw abyx abyy abyz abza abzb abzc abzd abze abzf abzg abzh abzi
|
||||
abzj abzk abzl abzm abzn abzo abzp abzq abzr abzs abzt abzu abzv abzw abzx
|
||||
abzy abzz acaa acab acac acad acae acaf acag acah acai acaj acak acal acam
|
||||
acan acao acap acaq acar acas acat acau acav acaw acax acay acaz acba acbb
|
||||
acbc acbd acbe acbf acbg acbh acbi acbj acbk acbl acbm acbn acbo acbp acbq
|
||||
acbr acbs acbt acbu acbv acbw acbx acby acbz acca accb accc accd acce accf
|
||||
accg acch acci accj acck accl accm accn acco accp accq accr accs acct accu
|
||||
accv accw accx accy accz acda acdb acdc acdd acde acdf acdg acdh acdi acdj
|
||||
acdk acdl acdm acdn acdo acdp acdq acdr acds acdt acdu acdv acdw acdx acdy
|
||||
acdz acea aceb acec aced acee acef aceg aceh acei acej acek acel acem acen
|
||||
aceo acep aceq acer aces acet aceu acev acew acex acey acez acfa acfb acfc
|
||||
acfd acfe acff acfg acfh acfi acfj acfk acfl acfm acfn acfo acfp acfq acfr
|
||||
acfs acft acfu acfv acfw acfx acfy acfz acga acgb acgc acgd acge acgf acgg
|
||||
acgh acgi acgj acgk acgl acgm acgn acgo acgp acgq acgr acgs acgt acgu acgv
|
||||
acgw acgx acgy acgz acha achb achc achd ache achf achg achh achi achj achk
|
||||
achl achm achn acho achp achq achr achs acht achu achv achw achx achy achz
|
||||
acia acib acic acid acie acif acig acih acii acij acik acil acim acin acio
|
||||
acip aciq acir acis acit aciu aciv aciw acix aciy aciz acja acjb acjc acjd
|
||||
acje acjf acjg acjh acji acjj acjk acjl acjm acjn acjo acjp acjq acjr acjs
|
||||
acjt acju acjv acjw acjx acjy acjz acka ackb ackc ackd acke ackf ackg ackh
|
||||
acki ackj ackk ackl ackm ackn acko ackp ackq ackr acks ackt acku ackv ackw
|
||||
ackx acky ackz acla aclb aclc acld acle aclf aclg aclh acli aclj aclk acll
|
||||
aclm acln aclo aclp aclq aclr acls aclt aclu aclv aclw aclx acly aclz acma
|
||||
acmb acmc acmd acme acmf acmg acmh acmi acmj acmk acml acmm acmn acmo acmp
|
||||
acmq acmr acms acmt acmu acmv acmw acmx acmy acmz acna acnb acnc acnd acne
|
||||
acnf acng acnh acni acnj acnk acnl acnm acnn acno acnp acnq acnr acns acnt
|
||||
acnu acnv acnw acnx acny acnz acoa acob acoc acod acoe acof acog acoh acoi
|
||||
acoj acok acol acom acon acoo acop acoq acor acos acot acou acov acow acox
|
||||
acoy acoz acpa acpb acpc acpd acpe acpf acpg acph acpi acpj acpk acpl acpm
|
||||
acpn acpo acpp acpq acpr acps acpt acpu acpv acpw acpx acpy acpz acqa acqb
|
||||
acqc acqd acqe acqf acqg acqh acqi acqj acqk acql acqm acqn acqo acqp acqq
|
||||
acqr acqs acqt acqu acqv acqw acqx acqy acqz acra acrb acrc acrd acre acrf
|
||||
acrg acrh acri acrj acrk acrl acrm acrn acro acrp acrq acrr acrs acrt acru
|
||||
acrv acrw acrx acry acrz acsa acsb acsc acsd acse acsf acsg acsh acsi acsj
|
||||
acsk acsl acsm acsn acso acsp acsq acsr acss acst acsu acsv acsw acsx acsy
|
||||
acsz acta actb actc actd acte actf actg acth acti actj actk actl actm actn
|
||||
acto actp actq actr acts actt actu actv actw actx acty actz acua acub acuc
|
||||
acud acue acuf acug acuh acui acuj acuk acul acum acun acuo acup acuq acur
|
||||
acus acut acuu acuv acuw acux acuy acuz acva acvb acvc acvd acve acvf acvg
|
||||
acvh acvi acvj acvk acvl acvm acvn acvo acvp acvq acvr acvs acvt acvu acvv
|
||||
acvw acvx acvy acvz acwa acwb acwc acwd acwe acwf acwg acwh acwi acwj acwk
|
||||
acwl acwm acwn acwo acwp acwq acwr acws acwt acwu acwv acww acwx acwy acwz
|
||||
acxa acxb acxc acxd acxe acxf acxg acxh acxi acxj acxk acxl acxm acxn acxo
|
||||
acxp acxq acxr acxs acxt acxu acxv acxw acxx acxy acxz acya acyb acyc acyd
|
||||
acye acyf acyg acyh acyi acyj acyk acyl acym acyn acyo acyp acyq acyr acys
|
||||
acyt acyu acyv acyw acyx acyy acyz acza aczb aczc aczd acze aczf aczg aczh
|
||||
aczi aczj aczk aczl aczm aczn aczo aczp aczq aczr aczs aczt aczu aczv aczw
|
||||
aczx aczy aczz adaa adab adac adad adae adaf adag adah adai adaj adak adal
|
||||
adam adan adao adap adaq adar adas adat adau adav adaw adax aday adaz adba
|
||||
adbb adbc adbd adbe adbf adbg adbh adbi adbj adbk adbl adbm adbn adbo adbp
|
||||
adbq adbr adbs adbt adbu adbv adbw adbx adby adbz adca adcb adcc adcd adce
|
||||
adcf adcg adch adci adcj adck adcl adcm adcn adco adcp adcq adcr adcs adct
|
||||
adcu adcv adcw adcx adcy adcz adda addb addc addd adde addf addg addh addi
|
||||
addj addk addl addm addn addo addp addq addr adds addt addu addv addw addx
|
||||
addy addz adea adeb adec aded adee adef adeg adeh adei adej adek adel adem
|
||||
aden adeo adep adeq ader ades adet adeu adev adew adex adey adez adfa adfb
|
||||
adfc adfd adfe adff adfg adfh adfi adfj adfk adfl adfm adfn adfo adfp adfq
|
||||
adfr adfs adft adfu adfv adfw adfx adfy adfz adga adgb adgc adgd adge adgf
|
||||
adgg adgh adgi adgj adgk adgl adgm adgn adgo adgp adgq adgr adgs adgt adgu
|
||||
adgv adgw adgx adgy adgz adha adhb adhc adhd adhe adhf adhg adhh adhi adhj
|
||||
adhk adhl adhm adhn adho adhp adhq adhr adhs adht adhu adhv adhw adhx adhy
|
||||
adhz adia adib adic adid adie adif adig adih adii adij adik adil adim adin
|
||||
adio adip adiq adir adis adit adiu adiv adiw adix adiy adiz adja adjb adjc
|
||||
adjd adje adjf adjg adjh adji adjj adjk adjl adjm adjn adjo adjp adjq adjr
|
||||
adjs adjt adju adjv adjw adjx adjy adjz adka adkb adkc adkd adke adkf adkg
|
||||
adkh adki adkj adkk adkl adkm adkn adko adkp adkq adkr adks adkt adku adkv
|
||||
adkw adkx adky adkz adla adlb adlc adld adle adlf adlg adlh adli adlj adlk
|
||||
adll adlm adln adlo adlp adlq adlr adls adlt adlu adlv adlw adlx adly adlz
|
||||
adma admb admc admd adme admf admg admh admi admj admk adml admm admn admo
|
||||
admp admq admr adms admt admu admv admw admx admy admz adna adnb adnc adnd
|
||||
adne adnf adng adnh adni adnj adnk adnl adnm adnn adno adnp adnq adnr adns
|
||||
adnt adnu adnv adnw adnx adny adnz adoa adob adoc adod adoe adof adog adoh
|
||||
adoi adoj adok adol adom adon adoo adop adoq ador ados adot adou adov adow
|
||||
adox adoy adoz adpa adpb adpc adpd adpe adpf adpg adph adpi adpj adpk adpl
|
||||
adpm adpn adpo adpp adpq adpr adps adpt adpu adpv adpw adpx adpy adpz adqa
|
||||
adqb adqc adqd adqe adqf adqg adqh adqi adqj adqk adql adqm adqn adqo adqp
|
||||
adqq adqr adqs adqt adqu adqv adqw adqx adqy adqz adra adrb adrc adrd adre
|
||||
adrf adrg adrh adri adrj adrk adrl adrm adrn adro adrp adrq adrr adrs adrt
|
||||
adru adrv adrw adrx adry adrz adsa adsb adsc adsd adse adsf adsg adsh adsi
|
||||
adsj adsk adsl adsm adsn adso adsp adsq adsr adss adst adsu adsv adsw adsx
|
||||
adsy adsz adta adtb adtc adtd adte adtf adtg adth adti adtj adtk adtl adtm
|
||||
adtn adto adtp adtq adtr adts adtt adtu adtv adtw adtx adty adtz adua adub
|
||||
aduc adud adue aduf adug aduh adui aduj aduk adul adum adun aduo adup aduq
|
||||
adur adus adut aduu aduv aduw adux aduy aduz adva advb advc advd adve advf
|
||||
advg advh advi advj advk advl advm advn advo advp advq advr advs advt advu
|
||||
advv advw advx advy advz adwa adwb adwc adwd adwe adwf adwg adwh adwi adwj
|
||||
adwk adwl adwm adwn adwo adwp adwq adwr adws adwt adwu adwv adww adwx adwy
|
||||
adwz adxa adxb adxc adxd adxe adxf adxg adxh adxi adxj adxk adxl adxm adxn
|
||||
adxo adxp adxq adxr adxs adxt adxu adxv adxw adxx adxy adxz adya adyb adyc
|
||||
adyd adye adyf adyg adyh adyi adyj adyk adyl adym adyn adyo adyp adyq adyr
|
||||
adys adyt adyu adyv adyw adyx adyy adyz adza adzb adzc adzd adze adzf adzg
|
||||
adzh adzi adzj adzk adzl adzm adzn adzo adzp adzq adzr adzs adzt adzu adzv
|
||||
adzw adzx adzy adzz aeaa aeab aeac aead aeae aeaf aeag aeah aeai aeaj aeak
|
||||
aeal aeam aean aeao aeap aeaq aear aeas aeat aeau aeav aeaw aeax aeay aeaz
|
||||
aeba aebb aebc aebd aebe aebf aebg aebh aebi aebj aebk aebl aebm aebn aebo
|
||||
aebp aebq aebr aebs aebt aebu aebv aebw aebx aeby aebz aeca aecb aecc aecd
|
||||
aece aecf aecg aech aeci aecj aeck aecl aecm aecn aeco aecp aecq aecr aecs
|
||||
aect aecu aecv aecw aecx aecy aecz aeda aedb aedc aedd aede aedf aedg aedh
|
||||
aedi aedj aedk aedl aedm aedn aedo aedp aedq aedr aeds aedt aedu aedv aedw
|
||||
aedx aedy aedz aeea aeeb aeec aeed aeee aeef aeeg aeeh aeei aeej aeek aeel
|
||||
aeem aeen aeeo aeep aeeq aeer aees aeet aeeu aeev aeew aeex aeey aeez aefa
|
||||
aefb aefc aefd aefe aeff aefg aefh aefi aefj aefk aefl aefm aefn aefo aefp
|
||||
aefq aefr aefs aeft aefu aefv aefw aefx aefy aefz aega aegb aegc aegd aege
|
||||
aegf aegg aegh aegi aegj aegk aegl aegm aegn aego aegp aegq aegr aegs aegt
|
||||
aegu aegv aegw aegx aegy aegz aeha aehb aehc aehd aehe aehf aehg aehh aehi
|
||||
aehj aehk aehl aehm aehn aeho aehp aehq aehr aehs aeht aehu aehv aehw aehx
|
||||
aehy aehz aeia aeib aeic aeid aeie aeif aeig aeih aeii aeij aeik aeil aeim
|
||||
aein aeio aeip aeiq aeir aeis aeit aeiu aeiv aeiw aeix aeiy aeiz aeja aejb
|
||||
aejc aejd aeje aejf aejg aejh aeji aejj aejk aejl aejm aejn aejo aejp aejq
|
||||
aejr aejs aejt aeju aejv aejw aejx aejy aejz aeka aekb aekc aekd aeke aekf
|
||||
aekg aekh aeki aekj aekk aekl aekm aekn aeko aekp aekq aekr aeks aekt aeku
|
||||
aekv aekw aekx aeky aekz aela aelb aelc aeld aele aelf aelg aelh aeli aelj
|
||||
aelk aell aelm aeln aelo aelp aelq aelr aels aelt aelu aelv aelw aelx aely
|
||||
aelz aema aemb aemc aemd aeme aemf aemg aemh aemi aemj aemk aeml aemm aemn
|
||||
aemo aemp aemq aemr aems aemt aemu aemv aemw aemx aemy aemz aena aenb aenc
|
||||
aend aene aenf aeng aenh aeni aenj aenk aenl aenm aenn aeno aenp aenq aenr
|
||||
aens aent aenu aenv aenw aenx aeny aenz aeoa aeob aeoc aeod aeoe aeof aeog
|
||||
aeoh aeoi aeoj aeok aeol aeom aeon aeoo aeop aeoq aeor aeos aeot aeou aeov
|
||||
aeow aeox aeoy aeoz aepa aepb aepc aepd aepe aepf aepg aeph aepi aepj aepk
|
||||
aepl aepm aepn aepo aepp aepq aepr aeps aept aepu aepv aepw aepx aepy aepz
|
||||
aeqa aeqb aeqc aeqd aeqe aeqf aeqg aeqh aeqi aeqj aeqk aeql aeqm aeqn aeqo
|
||||
aeqp aeqq aeqr aeqs aeqt aequ aeqv aeqw aeqx aeqy aeqz aera aerb aerc aerd
|
||||
aere aerf aerg aerh aeri aerj aerk aerl aerm aern aero aerp aerq aerr aers
|
||||
aert aeru aerv aerw aerx aery aerz aesa aesb aesc aesd aese aesf aesg aesh
|
||||
aesi aesj aesk aesl aesm aesn aeso aesp aesq aesr aess aest aesu aesv aesw
|
||||
aesx aesy aesz aeta aetb aetc aetd aete aetf aetg aeth aeti aetj aetk aetl
|
||||
aetm aetn aeto aetp aetq aetr aets aett aetu aetv aetw aetx aety aetz aeua
|
||||
aeub aeuc aeud aeue aeuf aeug aeuh aeui aeuj aeuk aeul aeum aeun aeuo aeup
|
||||
aeuq aeur aeus aeut aeuu aeuv aeuw aeux aeuy aeuz aeva aevb aevc aevd aeve
|
||||
aevf aevg aevh aevi aevj aevk aevl aevm aevn aevo aevp aevq aevr aevs aevt
|
||||
aevu aevv aevw aevx aevy aevz aewa aewb aewc aewd aewe aewf aewg aewh aewi
|
||||
aewj aewk aewl aewm aewn aewo aewp aewq aewr aews aewt aewu aewv aeww aewx
|
||||
aewy aewz aexa aexb aexc aexd aexe aexf aexg aexh aexi aexj aexk aexl aexm
|
||||
aexn aexo aexp aexq aexr aexs aext aexu aexv aexw aexx aexy aexz aeya aeyb
|
||||
aeyc aeyd aeye aeyf aeyg aeyh aeyi aeyj aeyk aeyl aeym aeyn aeyo aeyp aeyq
|
||||
aeyr aeys aeyt aeyu aeyv aeyw aeyx aeyy aeyz aeza aezb aezc aezd aeze aezf
|
||||
aezg aezh aezi aezj aezk aezl aezm aezn aezo aezp aezq aezr aezs aezt aezu
|
||||
aezv aezw aezx aezy aezz afaa afab afac afad afae afaf afag afah afai afaj
|
||||
afak afal afam afan afao afap afaq afar afas afat afau afav afaw afax afay
|
||||
afaz afba afbb afbc afbd afbe afbf afbg afbh afbi afbj afbk afbl afbm afbn
|
||||
afbo afbp afbq afbr afbs afbt afbu afbv afbw afbx afby afbz afca afcb afcc
|
||||
afcd afce afcf afcg afch afci afcj afck afcl afcm afcn afco afcp afcq afcr
|
||||
afcs afct afcu afcv afcw afcx afcy afcz afda afdb afdc afdd afde afdf afdg
|
||||
afdh afdi afdj afdk afdl afdm afdn afdo afdp afdq afdr afds afdt afdu afdv
|
||||
afdw afdx afdy afdz afea afeb afec afed afee afef afeg afeh afei afej afek
|
||||
afel afem afen afeo afep afeq afer afes afet afeu afev afew afex afey afez
|
||||
affa affb affc affd affe afff affg affh affi affj affk affl affm affn affo
|
||||
affp affq affr affs afft affu affv affw affx affy affz afga afgb afgc afgd
|
||||
afge afgf afgg afgh afgi afgj afgk afgl afgm afgn afgo afgp afgq afgr afgs
|
||||
afgt afgu afgv afgw afgx afgy afgz afha afhb afhc afhd afhe afhf afhg afhh
|
||||
afhi afhj afhk afhl afhm afhn afho afhp afhq afhr afhs afht afhu afhv afhw
|
||||
afhx afhy afhz afia afib afic afid afie afif afig afih afii afij afik afil
|
||||
afim afin afio afip afiq afir afis afit afiu afiv afiw afix afiy afiz afja
|
||||
afjb afjc afjd afje afjf afjg afjh afji afjj afjk afjl afjm afjn afjo afjp
|
||||
afjq afjr afjs afjt afju afjv afjw afjx afjy afjz afka afkb afkc afkd afke
|
||||
afkf afkg afkh afki afkj afkk afkl afkm afkn afko afkp afkq afkr afks afkt
|
||||
afku afkv afkw afkx afky afkz afla aflb aflc afld afle aflf aflg aflh afli
|
||||
aflj aflk afll aflm afln aflo aflp aflq aflr afls aflt aflu aflv aflw aflx
|
||||
afly aflz afma afmb afmc afmd afme afmf afmg afmh afmi afmj afmk afml afmm
|
||||
afmn afmo afmp afmq afmr afms afmt afmu afmv afmw afmx afmy afmz afna afnb
|
||||
afnc afnd afne afnf afng afnh afni afnj afnk afnl afnm afnn afno afnp afnq
|
||||
afnr afns afnt afnu afnv afnw afnx afny afnz afoa afob afoc afod afoe afof
|
||||
afog afoh afoi afoj afok afol afom afon afoo afop afoq afor afos afot afou
|
||||
afov afow afox afoy afoz afpa afpb afpc afpd afpe afpf afpg afph afpi afpj
|
||||
afpk afpl afpm afpn afpo afpp afpq afpr afps afpt afpu afpv afpw afpx afpy
|
||||
afpz afqa afqb afqc afqd afqe afqf afqg afqh afqi afqj afqk afql afqm afqn
|
||||
afqo afqp afqq afqr afqs afqt afqu afqv afqw afqx afqy afqz afra afrb afrc
|
||||
afrd afre afrf afrg afrh afri afrj afrk afrl afrm afrn afro afrp afrq afrr
|
||||
afrs afrt afru afrv afrw afrx afry afrz afsa afsb afsc afsd afse afsf afsg
|
||||
afsh afsi afsj afsk afsl afsm afsn afso afsp afsq afsr afss afst afsu afsv
|
||||
afsw afsx afsy afsz afta aftb aftc aftd afte aftf aftg afth afti aftj aftk
|
||||
aftl aftm aftn afto aftp aftq aftr afts aftt aftu aftv aftw aftx afty aftz
|
||||
afua afub afuc afud afue afuf afug afuh afui afuj afuk aful afum afun afuo
|
||||
afup afuq afur afus afut afuu afuv afuw afux afuy afuz afva afvb afvc afvd
|
||||
afve afvf afvg afvh afvi afvj afvk afvl afvm afvn afvo afvp afvq afvr afvs
|
||||
afvt afvu afvv afvw afvx afvy afvz afwa afwb afwc afwd afwe afwf afwg afwh
|
||||
afwi afwj afwk afwl afwm afwn afwo afwp afwq afwr afws afwt afwu afwv afww
|
||||
afwx afwy afwz afxa afxb afxc afxd afxe afxf afxg afxh afxi afxj afxk afxl
|
||||
afxm afxn afxo afxp afxq afxr afxs afxt afxu afxv afxw afxx afxy afxz afya
|
||||
afyb afyc afyd afye afyf afyg afyh afyi afyj afyk afyl afym afyn afyo afyp
|
||||
afyq afyr afys afyt afyu afyv afyw afyx afyy afyz afza afzb afzc afzd afze
|
||||
afzf afzg afzh afzi afzj afzk afzl afzm afzn afzo afzp afzq afzr afzs afzt
|
||||
afzu afzv afzw afzx afzy afzz agaa agab agac agad agae agaf agag agah agai
|
||||
agaj agak agal agam agan agao agap agaq agar agas agat agau agav agaw agax
|
||||
agay agaz agba agbb agbc agbd agbe agbf agbg agbh agbi agbj agbk agbl agbm
|
||||
agbn agbo agbp agbq agbr agbs agbt agbu agbv agbw agbx agby agbz agca agcb
|
||||
agcc agcd agce agcf agcg agch agci agcj agck agcl agcm agcn agco agcp agcq
|
||||
agcr agcs agct agcu agcv agcw agcx agcy agcz agda agdb agdc agdd agde agdf
|
||||
agdg agdh agdi agdj agdk agdl agdm agdn agdo agdp agdq agdr agds agdt agdu
|
||||
agdv agdw agdx agdy agdz agea ageb agec aged agee agef ageg ageh agei agej
|
||||
agek agel agem agen ageo agep ageq ager ages aget ageu agev agew agex agey
|
||||
agez agfa agfb agfc agfd agfe agff agfg agfh agfi agfj agfk agfl agfm agfn
|
||||
agfo agfp agfq agfr agfs agft agfu agfv agfw agfx agfy agfz agga aggb aggc
|
||||
aggd agge aggf aggg aggh aggi aggj aggk aggl aggm aggn aggo aggp aggq aggr
|
||||
aggs aggt aggu aggv aggw aggx aggy aggz agha aghb aghc aghd aghe aghf aghg
|
||||
aghh aghi aghj aghk aghl aghm aghn agho aghp aghq aghr aghs aght aghu aghv
|
||||
aghw aghx aghy aghz agia agib agic agid agie agif agig agih agii agij agik
|
||||
agil agim agin agio agip agiq agir agis agit agiu agiv agiw agix agiy agiz
|
||||
agja agjb agjc agjd agje agjf agjg agjh agji agjj agjk agjl agjm agjn agjo
|
||||
agjp agjq agjr agjs agjt agju agjv agjw agjx agjy agjz agka agkb agkc agkd
|
||||
agke agkf agkg agkh agki agkj agkk agkl agkm agkn agko agkp agkq agkr agks
|
||||
agkt agku agkv agkw agkx agky agkz agla aglb aglc agld agle aglf aglg aglh
|
||||
agli aglj aglk agll aglm agln aglo aglp aglq aglr agls aglt aglu aglv aglw
|
||||
aglx agly aglz agma agmb agmc agmd agme agmf agmg agmh agmi agmj agmk agml
|
||||
agmm agmn agmo agmp agmq agmr agms agmt agmu agmv agmw agmx agmy agmz agna
|
||||
agnb agnc agnd agne agnf agng agnh agni agnj agnk agnl agnm agnn agno agnp
|
||||
agnq agnr agns agnt agnu agnv agnw agnx agny agnz agoa agob agoc agod agoe
|
||||
agof agog agoh agoi agoj agok agol agom agon agoo agop agoq agor agos agot
|
||||
agou agov agow agox agoy agoz agpa agpb agpc agpd agpe agpf agpg agph agpi
|
||||
agpj agpk agpl agpm agpn agpo agpp agpq agpr agps agpt agpu agpv agpw agpx
|
||||
agpy agpz agqa agqb agqc agqd agqe agqf agqg agqh agqi agqj agqk agql agqm
|
||||
agqn agqo agqp agqq agqr agqs agqt agqu agqv agqw agqx agqy agqz agra agrb
|
||||
agrc agrd agre agrf agrg agrh agri agrj agrk agrl agrm agrn agro agrp agrq
|
||||
agrr agrs agrt agru agrv agrw agrx agry agrz agsa agsb agsc agsd agse agsf
|
||||
agsg agsh agsi agsj agsk agsl agsm agsn agso agsp agsq agsr agss agst agsu
|
||||
agsv agsw agsx agsy agsz agta agtb agtc agtd agte agtf agtg agth agti agtj
|
||||
agtk agtl agtm agtn agto agtp agtq agtr agts agtt agtu agtv agtw agtx agty
|
||||
agtz agua agub aguc agud ague aguf agug aguh agui aguj aguk agul agum agun
|
||||
aguo agup aguq agur agus agut aguu aguv aguw agux aguy aguz agva agvb agvc
|
||||
agvd agve agvf agvg agvh agvi agvj agvk agvl agvm agvn agvo agvp agvq agvr
|
||||
agvs agvt agvu agvv agvw agvx agvy agvz agwa agwb agwc agwd agwe agwf agwg
|
||||
agwh agwi agwj agwk agwl agwm agwn agwo agwp agwq agwr agws agwt agwu agwv
|
||||
agww agwx agwy agwz agxa agxb agxc agxd agxe agxf agxg agxh agxi agxj agxk
|
||||
agxl agxm agxn agxo agxp agxq agxr agxs agxt agxu agxv agxw agxx agxy agxz
|
||||
agya agyb agyc agyd agye agyf agyg agyh agyi agyj agyk agyl agym agyn agyo
|
||||
agyp agyq agyr agys agyt agyu agyv agyw agyx agyy agyz agza agzb agzc agzd
|
||||
agze agzf agzg agzh agzi agzj agzk agzl agzm agzn agzo agzp agzq agzr agzs
|
||||
agzt agzu agzv agzw agzx agzy agzz ahaa ahab ahac ahad ahae ahaf ahag ahah
|
||||
ahai ahaj ahak ahal aham ahan ahao ahap ahaq ahar ahas ahat ahau ahav ahaw
|
||||
ahax ahay ahaz ahba ahbb ahbc ahbd ahbe ahbf ahbg ahbh ahbi ahbj ahbk ahbl
|
||||
ahbm ahbn ahbo ahbp ahbq ahbr ahbs ahbt ahbu ahbv ahbw ahbx ahby ahbz ahca
|
||||
ahcb ahcc ahcd ahce ahcf ahcg ahch ahci ahcj ahck ahcl ahcm ahcn ahco ahcp
|
||||
ahcq ahcr ahcs ahct ahcu ahcv ahcw ahcx ahcy ahcz ahda ahdb ahdc ahdd ahde
|
||||
ahdf ahdg ahdh ahdi ahdj ahdk ahdl ahdm ahdn ahdo ahdp ahdq ahdr ahds ahdt
|
||||
ahdu ahdv ahdw ahdx ahdy ahdz ahea aheb ahec ahed ahee ahef aheg aheh ahei
|
||||
ahej ahek ahel ahem ahen aheo ahep aheq aher ahes ahet aheu ahev ahew ahex
|
||||
ahey ahez ahfa ahfb ahfc ahfd ahfe ahff ahfg ahfh ahfi ahfj ahfk ahfl ahfm
|
||||
ahfn ahfo ahfp ahfq ahfr ahfs ahft ahfu ahfv ahfw ahfx ahfy ahfz ahga ahgb
|
||||
ahgc ahgd ahge ahgf ahgg ahgh ahgi ahgj ahgk ahgl ahgm ahgn ahgo ahgp ahgq
|
||||
ahgr ahgs ahgt ahgu ahgv ahgw ahgx ahgy ahgz ahha ahhb ahhc ahhd ahhe ahhf
|
||||
ahhg ahhh ahhi ahhj ahhk ahhl ahhm ahhn ahho ahhp ahhq ahhr ahhs ahht ahhu
|
||||
ahhv ahhw ahhx ahhy ahhz ahia ahib ahic ahid ahie ahif ahig ahih ahii ahij
|
||||
ahik ahil ahim ahin ahio ahip ahiq ahir ahis ahit ahiu ahiv ahiw ahix ahiy
|
||||
ahiz ahja ahjb ahjc ahjd ahje ahjf ahjg ahjh ahji ahjj ahjk ahjl ahjm ahjn
|
||||
ahjo ahjp ahjq ahjr ahjs ahjt ahju ahjv ahjw ahjx ahjy ahjz ahka ahkb ahkc
|
||||
ahkd ahke ahkf ahkg ahkh ahki ahkj ahkk ahkl ahkm ahkn ahko ahkp ahkq ahkr
|
||||
ahks ahkt ahku ahkv ahkw ahkx ahky ahkz ahla ahlb ahlc ahld ahle ahlf ahlg
|
||||
ahlh ahli ahlj ahlk ahll ahlm ahln ahlo ahlp ahlq ahlr ahls ahlt ahlu ahlv
|
||||
ahlw ahlx ahly ahlz ahma ahmb ahmc ahmd ahme ahmf ahmg ahmh ahmi ahmj ahmk
|
||||
ahml ahmm ahmn ahmo ahmp ahmq ahmr ahms ahmt ahmu ahmv ahmw ahmx ahmy ahmz
|
||||
ahna ahnb ahnc ahnd ahne ahnf ahng ahnh ahni ahnj ahnk ahnl ahnm ahnn ahno
|
||||
ahnp ahnq ahnr ahns ahnt ahnu ahnv ahnw ahnx ahny ahnz ahoa ahob ahoc ahod
|
||||
ahoe ahof ahog ahoh ahoi ahoj ahok ahol ahom ahon ahoo ahop ahoq ahor ahos
|
||||
ahot ahou ahov ahow ahox ahoy ahoz ahpa ahpb ahpc ahpd ahpe ahpf ahpg ahph
|
||||
ahpi ahpj ahpk ahpl ahpm ahpn ahpo ahpp ahpq ahpr ahps ahpt ahpu ahpv ahpw
|
||||
ahpx ahpy ahpz ahqa ahqb ahqc ahqd ahqe ahqf ahqg ahqh ahqi ahqj ahqk ahql
|
||||
ahqm ahqn ahqo ahqp ahqq ahqr ahqs ahqt ahqu ahqv ahqw ahqx ahqy ahqz ahra
|
||||
ahrb ahrc ahrd ahre ahrf ahrg ahrh ahri ahrj ahrk ahrl ahrm ahrn ahro ahrp
|
||||
ahrq ahrr ahrs ahrt ahru ahrv ahrw ahrx ahry ahrz ahsa ahsb ahsc ahsd ahse
|
||||
ahsf ahsg ahsh ahsi ahsj ahsk ahsl ahsm ahsn ahso ahsp ahsq ahsr ahss ahst
|
||||
ahsu ahsv ahsw ahsx ahsy ahsz ahta ahtb ahtc ahtd ahte ahtf ahtg ahth ahti
|
||||
ahtj ahtk ahtl ahtm ahtn ahto ahtp ahtq ahtr ahts ahtt ahtu ahtv ahtw ahtx
|
||||
ahty ahtz ahua ahub ahuc ahud ahue ahuf ahug ahuh ahui ahuj ahuk ahul ahum
|
||||
ahun ahuo ahup ahuq ahur ahus ahut ahuu ahuv ahuw ahux ahuy ahuz ahva ahvb
|
||||
ahvc ahvd ahve ahvf ahvg ahvh ahvi ahvj ahvk ahvl ahvm ahvn ahvo ahvp ahvq
|
||||
ahvr ahvs ahvt ahvu ahvv ahvw ahvx ahvy ahvz ahwa ahwb ahwc ahwd ahwe ahwf
|
||||
ahwg ahwh ahwi ahwj ahwk ahwl ahwm ahwn ahwo ahwp ahwq ahwr ahws ahwt ahwu
|
||||
ahwv ahww ahwx ahwy ahwz ahxa ahxb ahxc ahxd ahxe ahxf ahxg ahxh ahxi ahxj
|
||||
ahxk ahxl ahxm ahxn ahxo ahxp ahxq ahxr ahxs ahxt ahxu ahxv ahxw ahxx ahxy
|
||||
ahxz ahya ahyb ahyc ahyd ahye ahyf ahyg ahyh ahyi ahyj ahyk ahyl ahym ahyn
|
||||
ahyo ahyp ahyq ahyr ahys ahyt ahyu ahyv ahyw ahyx ahyy ahyz ahza ahzb ahzc
|
||||
ahzd ahze ahzf ahzg ahzh ahzi ahzj ahzk ahzl ahzm ahzn ahzo ahzp ahzq ahzr
|
||||
ahzs ahzt ahzu ahzv ahzw ahzx ahzy ahzz aiaa aiab aiac aiad aiae aiaf aiag
|
||||
aiah aiai aiaj aiak aial aiam aian aiao aiap aiaq aiar aias aiat aiau aiav
|
||||
aiaw aiax aiay aiaz aiba aibb aibc aibd aibe aibf aibg aibh aibi aibj aibk
|
||||
aibl aibm aibn aibo aibp aibq aibr aibs aibt aibu aibv aibw aibx aiby aibz
|
||||
aica aicb aicc aicd aice aicf aicg aich aici aicj aick aicl aicm aicn aico
|
||||
aicp aicq aicr aics aict aicu aicv aicw aicx aicy aicz aida aidb aidc aidd
|
||||
aide aidf aidg aidh aidi aidj aidk aidl aidm aidn aido aidp aidq aidr aids
|
||||
aidt aidu aidv aidw aidx aidy aidz aiea aieb aiec aied aiee aief aieg aieh
|
||||
aiei aiej aiek aiel aiem aien aieo aiep aieq aier aies aiet aieu aiev aiew
|
||||
aiex aiey aiez aifa aifb aifc aifd aife aiff aifg aifh aifi aifj aifk aifl
|
||||
aifm aifn aifo aifp aifq aifr aifs aift aifu aifv aifw aifx aify aifz aiga
|
||||
aigb aigc aigd aige aigf aigg aigh aigi aigj aigk aigl aigm aign aigo aigp
|
||||
aigq aigr aigs aigt aigu aigv aigw aigx aigy aigz aiha aihb aihc aihd aihe
|
||||
aihf aihg aihh aihi aihj aihk aihl aihm aihn aiho aihp aihq aihr aihs aiht
|
||||
aihu aihv aihw aihx aihy aihz aiia aiib aiic aiid aiie aiif aiig aiih aiii
|
||||
aiij aiik aiil aiim aiin aiio aiip aiiq aiir aiis aiit aiiu aiiv aiiw aiix
|
||||
aiiy aiiz aija aijb aijc aijd aije aijf aijg aijh aiji aijj aijk aijl aijm
|
||||
aijn aijo aijp aijq aijr aijs aijt aiju aijv aijw aijx aijy aijz aika aikb
|
||||
aikc aikd aike aikf aikg aikh aiki aikj aikk aikl aikm aikn aiko aikp aikq
|
||||
aikr aiks aikt aiku aikv aikw aikx aiky aikz aila ailb ailc aild aile ailf
|
||||
ailg ailh aili ailj ailk aill ailm ailn ailo ailp ailq ailr ails ailt ailu
|
||||
ailv ailw ailx aily ailz aima aimb aimc aimd aime aimf aimg aimh aimi aimj
|
||||
aimk aiml aimm aimn aimo aimp aimq aimr aims aimt aimu aimv aimw aimx aimy
|
||||
aimz aina ainb ainc aind aine ainf aing ainh aini ainj aink ainl ainm ainn
|
||||
aino ainp ainq ainr ains aint ainu ainv ainw ainx ainy ainz aioa aiob aioc
|
||||
aiod aioe aiof aiog aioh aioi aioj aiok aiol aiom aion aioo aiop aioq aior
|
||||
aios aiot aiou aiov aiow aiox aioy aioz aipa aipb aipc aipd aipe aipf aipg
|
||||
aiph aipi aipj aipk aipl aipm aipn aipo aipp aipq aipr aips aipt aipu aipv
|
||||
aipw aipx aipy aipz aiqa aiqb aiqc aiqd aiqe aiqf aiqg aiqh aiqi aiqj aiqk
|
||||
aiql aiqm aiqn aiqo aiqp aiqq aiqr aiqs aiqt aiqu aiqv aiqw aiqx aiqy aiqz
|
||||
aira airb airc aird aire airf airg airh airi airj airk airl airm airn airo
|
||||
airp airq airr airs airt airu airv airw airx airy airz aisa aisb aisc aisd
|
||||
aise aisf aisg aish aisi aisj aisk aisl aism aisn aiso aisp aisq aisr aiss
|
||||
aist aisu aisv aisw aisx aisy aisz aita aitb aitc aitd aite aitf aitg aith
|
||||
aiti aitj aitk aitl aitm aitn aito aitp aitq aitr aits aitt aitu aitv aitw
|
||||
aitx aity aitz aiua aiub aiuc aiud aiue aiuf aiug aiuh aiui aiuj aiuk aiul
|
||||
aium aiun aiuo aiup aiuq aiur aius aiut aiuu aiuv aiuw aiux aiuy aiuz aiva
|
||||
aivb aivc aivd aive aivf aivg aivh aivi aivj aivk aivl aivm aivn aivo aivp
|
||||
aivq aivr aivs aivt aivu aivv aivw aivx aivy aivz aiwa aiwb aiwc aiwd aiwe
|
||||
aiwf aiwg aiwh aiwi aiwj aiwk aiwl aiwm aiwn aiwo aiwp aiwq aiwr aiws aiwt
|
||||
aiwu aiwv aiww aiwx aiwy aiwz aixa aixb aixc aixd aixe aixf aixg aixh aixi
|
||||
aixj aixk aixl aixm aixn aixo aixp aixq aixr aixs aixt aixu aixv aixw aixx
|
||||
aixy aixz aiya aiyb aiyc aiyd aiye aiyf aiyg aiyh aiyi aiyj aiyk aiyl aiym
|
||||
aiyn aiyo aiyp aiyq aiyr aiys aiyt aiyu aiyv aiyw aiyx aiyy aiyz aiza aizb
|
||||
aizc aizd aize aizf aizg aizh aizi aizj aizk aizl aizm aizn aizo aizp aizq
|
||||
aizr aizs aizt aizu aizv aizw aizx aizy aizz ajaa ajab ajac ajad ajae ajaf
|
||||
ajag ajah ajai ajaj ajak ajal ajam ajan ajao ajap ajaq ajar ajas ajat ajau
|
||||
ajav ajaw ajax ajay ajaz ajba ajbb ajbc ajbd ajbe ajbf ajbg ajbh ajbi ajbj
|
||||
ajbk ajbl ajbm ajbn ajbo ajbp ajbq ajbr ajbs ajbt ajbu ajbv ajbw ajbx ajby
|
||||
ajbz ajca ajcb ajcc ajcd ajce ajcf ajcg ajch ajci ajcj ajck ajcl ajcm ajcn
|
||||
ajco ajcp ajcq ajcr ajcs ajct ajcu ajcv ajcw ajcx ajcy ajcz ajda ajdb ajdc
|
||||
ajdd ajde ajdf ajdg ajdh ajdi ajdj ajdk ajdl ajdm ajdn ajdo ajdp ajdq ajdr
|
||||
ajds ajdt ajdu ajdv ajdw ajdx ajdy ajdz ajea ajeb ajec ajed ajee ajef ajeg
|
||||
ajeh ajei ajej ajek ajel ajem ajen ajeo ajep ajeq ajer ajes ajet ajeu ajev
|
||||
ajew ajex ajey ajez ajfa ajfb ajfc ajfd ajfe ajff ajfg ajfh ajfi ajfj ajfk
|
||||
ajfl ajfm ajfn ajfo ajfp ajfq ajfr ajfs ajft ajfu ajfv ajfw ajfx ajfy ajfz
|
||||
ajga ajgb ajgc ajgd ajge ajgf ajgg ajgh ajgi ajgj ajgk ajgl ajgm ajgn ajgo
|
||||
ajgp ajgq ajgr ajgs ajgt ajgu ajgv ajgw ajgx ajgy ajgz ajha ajhb ajhc ajhd
|
||||
ajhe ajhf ajhg ajhh ajhi ajhj ajhk ajhl ajhm ajhn ajho ajhp ajhq ajhr ajhs
|
||||
ajht ajhu ajhv ajhw ajhx ajhy ajhz ajia ajib ajic ajid ajie ajif ajig ajih
|
||||
ajii ajij ajik ajil ajim ajin ajio ajip ajiq ajir ajis ajit ajiu ajiv ajiw
|
||||
ajix ajiy ajiz ajja ajjb ajjc ajjd ajje ajjf ajjg ajjh ajji ajjj ajjk ajjl
|
||||
ajjm ajjn ajjo ajjp ajjq ajjr ajjs ajjt ajju ajjv ajjw ajjx ajjy ajjz ajka
|
||||
ajkb ajkc ajkd ajke ajkf ajkg ajkh ajki ajkj ajkk ajkl ajkm ajkn ajko ajkp
|
||||
ajkq ajkr ajks ajkt ajku ajkv ajkw ajkx ajky ajkz ajla ajlb ajlc ajld ajle
|
||||
ajlf ajlg ajlh ajli ajlj ajlk ajll ajlm ajln ajlo ajlp ajlq ajlr ajls ajlt
|
||||
ajlu ajlv ajlw ajlx ajly ajlz ajma ajmb ajmc ajmd ajme ajmf ajmg ajmh ajmi
|
||||
ajmj ajmk ajml ajmm ajmn ajmo ajmp ajmq ajmr ajms ajmt ajmu ajmv ajmw ajmx
|
||||
ajmy ajmz ajna ajnb ajnc ajnd ajne ajnf ajng ajnh ajni ajnj ajnk ajnl ajnm
|
||||
ajnn ajno ajnp ajnq ajnr ajns ajnt ajnu ajnv ajnw ajnx ajny ajnz ajoa ajob
|
||||
ajoc ajod ajoe ajof ajog ajoh ajoi ajoj ajok ajol ajom ajon ajoo ajop ajoq
|
||||
ajor ajos ajot ajou ajov ajow ajox ajoy ajoz ajpa ajpb ajpc ajpd ajpe ajpf
|
||||
ajpg ajph ajpi ajpj ajpk ajpl ajpm ajpn ajpo ajpp ajpq ajpr ajps ajpt ajpu
|
||||
ajpv ajpw ajpx ajpy ajpz ajqa ajqb ajqc ajqd ajqe ajqf ajqg ajqh ajqi ajqj
|
||||
ajqk ajql ajqm ajqn ajqo ajqp ajqq ajqr ajqs ajqt ajqu ajqv ajqw ajqx ajqy
|
||||
ajqz ajra ajrb ajrc ajrd ajre ajrf ajrg ajrh ajri ajrj ajrk ajrl ajrm ajrn
|
||||
ajro ajrp ajrq ajrr ajrs ajrt ajru ajrv ajrw ajrx ajry ajrz ajsa ajsb ajsc
|
||||
ajsd ajse ajsf ajsg ajsh ajsi ajsj ajsk ajsl ajsm ajsn ajso ajsp ajsq ajsr
|
||||
ajss ajst ajsu ajsv ajsw ajsx ajsy ajsz ajta ajtb ajtc ajtd ajte ajtf ajtg
|
||||
ajth ajti ajtj ajtk ajtl ajtm ajtn ajto ajtp ajtq ajtr ajts ajtt ajtu ajtv
|
||||
ajtw ajtx ajty ajtz ajua ajub ajuc ajud ajue ajuf ajug ajuh ajui ajuj ajuk
|
||||
ajul ajum ajun ajuo ajup ajuq ajur ajus ajut ajuu ajuv ajuw ajux ajuy ajuz
|
||||
ajva ajvb ajvc ajvd ajve ajvf ajvg ajvh ajvi ajvj ajvk ajvl ajvm ajvn ajvo
|
||||
ajvp ajvq ajvr ajvs ajvt ajvu ajvv ajvw ajvx ajvy ajvz ajwa ajwb ajwc ajwd
|
||||
ajwe ajwf ajwg ajwh ajwi ajwj ajwk ajwl ajwm ajwn ajwo ajwp ajwq ajwr ajws
|
||||
ajwt ajwu ajwv ajww ajwx ajwy ajwz ajxa ajxb ajxc ajxd ajxe ajxf ajxg ajxh
|
||||
ajxi ajxj ajxk ajxl ajxm ajxn ajxo ajxp ajxq ajxr ajxs ajxt ajxu ajxv ajxw
|
||||
ajxx ajxy ajxz ajya ajyb ajyc ajyd ajye ajyf ajyg ajyh ajyi ajyj ajyk ajyl
|
||||
ajym ajyn ajyo ajyp ajyq ajyr ajys ajyt ajyu ajyv ajyw ajyx ajyy ajyz ajza
|
||||
ajzb ajzc ajzd ajze ajzf ajzg ajzh ajzi ajzj ajzk ajzl ajzm ajzn ajzo ajzp
|
||||
ajzq ajzr ajzs ajzt ajzu ajzv ajzw ajzx ajzy ajzz akaa akab akac akad akae
|
||||
akaf akag akah akai akaj akak akal akam akan akao akap akaq akar akas akat
|
||||
akau akav akaw akax akay akaz akba akbb akbc akbd akbe akbf akbg akbh akbi
|
||||
akbj akbk akbl akbm akbn akbo akbp akbq akbr akbs akbt akbu akbv akbw akbx
|
||||
akby akbz akca akcb akcc akcd akce akcf akcg akch akci akcj akck akcl akcm
|
||||
akcn akco akcp akcq akcr akcs akct akcu akcv akcw akcx akcy akcz akda akdb
|
||||
akdc akdd akde akdf akdg akdh akdi akdj akdk akdl akdm akdn akdo akdp akdq
|
||||
akdr akds akdt akdu akdv akdw akdx akdy akdz akea akeb akec aked akee akef
|
||||
akeg akeh akei akej akek akel akem aken akeo akep akeq aker akes aket akeu
|
||||
akev akew akex akey akez akfa akfb akfc akfd akfe akff akfg akfh akfi akfj
|
||||
akfk akfl akfm akfn akfo akfp akfq akfr akfs akft akfu akfv akfw akfx akfy
|
||||
akfz akga akgb akgc akgd akge akgf akgg akgh akgi akgj akgk akgl akgm akgn
|
||||
akgo akgp akgq akgr akgs akgt akgu akgv akgw akgx akgy akgz akha akhb akhc
|
||||
akhd akhe akhf akhg akhh akhi akhj akhk akhl akhm akhn akho akhp akhq akhr
|
||||
akhs akht akhu akhv akhw akhx akhy akhz akia akib akic akid akie akif akig
|
||||
akih akii akij akik akil akim akin akio akip akiq akir akis akit akiu akiv
|
||||
akiw akix akiy akiz akja akjb akjc akjd akje akjf akjg akjh akji akjj akjk
|
||||
akjl akjm akjn akjo akjp akjq akjr akjs akjt akju akjv akjw akjx akjy akjz
|
||||
akka akkb akkc akkd akke akkf akkg akkh akki akkj akkk akkl akkm akkn akko
|
||||
akkp akkq akkr akks akkt akku akkv akkw akkx akky akkz akla aklb aklc akld
|
||||
akle aklf aklg aklh akli aklj aklk akll aklm akln aklo aklp aklq aklr akls
|
||||
aklt aklu aklv aklw aklx akly aklz akma akmb akmc akmd akme akmf akmg akmh
|
||||
akmi akmj akmk akml akmm akmn akmo akmp akmq akmr akms akmt akmu akmv akmw
|
||||
akmx akmy akmz akna aknb aknc aknd akne aknf akng aknh akni aknj aknk aknl
|
||||
aknm aknn akno aknp aknq aknr akns aknt aknu aknv aknw aknx akny aknz akoa
|
||||
akob akoc akod akoe akof akog akoh akoi akoj akok akol akom akon akoo akop
|
||||
akoq akor akos akot akou akov akow akox akoy akoz akpa akpb akpc akpd akpe
|
||||
akpf akpg akph akpi akpj akpk akpl akpm akpn akpo akpp akpq akpr akps akpt
|
||||
akpu akpv akpw akpx akpy akpz akqa akqb akqc akqd akqe akqf akqg akqh akqi
|
||||
akqj akqk akql akqm akqn akqo akqp akqq akqr akqs akqt akqu akqv akqw akqx
|
||||
akqy akqz akra akrb akrc akrd akre akrf akrg akrh akri akrj akrk akrl akrm
|
||||
akrn akro akrp akrq akrr akrs akrt akru akrv akrw akrx akry akrz aksa aksb
|
||||
aksc aksd akse aksf aksg aksh aksi aksj aksk aksl aksm aksn akso aksp aksq
|
||||
aksr akss akst aksu aksv aksw aksx aksy aksz akta aktb aktc aktd akte aktf
|
||||
aktg akth akti aktj aktk aktl aktm aktn akto aktp aktq aktr akts aktt aktu
|
||||
aktv aktw aktx akty aktz akua akub akuc akud akue akuf akug akuh akui akuj
|
||||
akuk akul akum akun akuo akup akuq akur akus akut akuu akuv akuw akux akuy
|
||||
akuz akva akvb akvc akvd akve akvf akvg akvh akvi akvj akvk akvl akvm akvn
|
||||
akvo akvp akvq akvr akvs akvt akvu akvv akvw akvx akvy akvz akwa akwb akwc
|
||||
akwd akwe akwf akwg akwh akwi akwj akwk akwl akwm akwn akwo akwp akwq akwr
|
||||
akws akwt akwu akwv akww akwx akwy akwz akxa akxb akxc akxd akxe akxf akxg
|
||||
akxh akxi akxj akxk akxl akxm akxn akxo akxp akxq akxr akxs akxt akxu akxv
|
||||
akxw akxx akxy akxz akya akyb akyc akyd akye akyf akyg akyh akyi akyj akyk
|
||||
akyl akym akyn akyo akyp akyq akyr akys akyt akyu akyv akyw akyx akyy akyz
|
||||
akza akzb akzc akzd akze akzf akzg akzh akzi akzj akzk akzl akzm akzn akzo
|
||||
akzp akzq akzr akzs akzt akzu akzv akzw akzx akzy akzz alaa alab alac alad
|
||||
alae alaf alag alah alai alaj alak alal alam alan alao alap alaq alar alas
|
||||
alat alau alav alaw alax alay alaz alba albb albc albd albe albf albg albh
|
||||
albi albj albk albl albm albn albo albp albq albr albs albt albu albv albw
|
||||
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1 @@
|
|||
<:expr< EXTEND G expr: [[ "foo" -> <:expr< foo >> ]]; END >>;
|
||||
|
|
@ -0,0 +1,10 @@
|
|||
open Camlp4.PreCast;
|
||||
|
||||
let _loc = Loc.ghost in
|
||||
let e = <:expr< parser [: `"a" :] -> t >> in
|
||||
let a =
|
||||
match e with
|
||||
[ <:expr< parser [: `$str:x$ :] -> t >> -> x
|
||||
| _ -> assert False ]
|
||||
in Format.printf "a: %S@." a;
|
||||
|
||||
|
|
@ -0,0 +1,15 @@
|
|||
module type S = sig type t end
|
||||
module F (A : S) = struct
|
||||
type t2 = A.t
|
||||
module A = A
|
||||
end
|
||||
|
||||
module A = struct type t = int end
|
||||
|
||||
module type S3 = sig
|
||||
module M : S
|
||||
end
|
||||
|
||||
module type S2 = S with type t = F(A).t2
|
||||
|
||||
module type S4 = S3 with module M = F(A).A
|
||||
|
|
@ -0,0 +1,8 @@
|
|||
module type S = sig type t = 'a; end;
|
||||
module F (A : S) = struct
|
||||
type t2 = A.t;
|
||||
end;
|
||||
|
||||
module A = struct type t = int; end;
|
||||
|
||||
module type S2 = S with type t = (F A).t2;
|
||||
|
|
@ -0,0 +1,21 @@
|
|||
type t 'a = [ Nil | Cons of 'a and t 'a ];
|
||||
|
||||
module A : sig
|
||||
value app_hd : t 'a -> ('a -> 'a) -> option 'a;
|
||||
end = struct
|
||||
value app_hd x f =
|
||||
match x with
|
||||
[ Nil -> None
|
||||
| Cons x _ -> Some (f x) ];
|
||||
end;
|
||||
open A;
|
||||
|
||||
module M = struct
|
||||
external mk_nil : unit -> t 'a = "%identity";
|
||||
value nil = mk_nil ();
|
||||
(* value is_nil x = x = nil; *)
|
||||
end;
|
||||
|
||||
(* M.app_hd succ (M.Cons 1 M.Nil); *)
|
||||
(* M.hd (M.Cons 1 M.Nil); *)
|
||||
app_hd (M.nil : t 'a) (fun (x : int) -> (x : 'a));
|
||||
|
|
@ -0,0 +1,61 @@
|
|||
open Camlp4.PreCast;
|
||||
type t = [ A of t and t | B of string ];
|
||||
value lex = Lexer.mk ();
|
||||
|
||||
(* value list0 symb =
|
||||
let rec loop al =
|
||||
parser
|
||||
[ [: a = symb; s :] -> loop [a :: al] s
|
||||
| [: :] -> al ]
|
||||
in
|
||||
parser [: a = loop [] :] -> List.rev a
|
||||
;
|
||||
value list0sep symb sep =
|
||||
let rec kont al =
|
||||
parser
|
||||
[ [: v = sep; a = symb; s :] -> kont [a :: al] s
|
||||
| [: :] -> al ]
|
||||
in
|
||||
parser
|
||||
[ [: a = symb; s :] -> List.rev (kont [a] s)
|
||||
| [: :] -> [] ]
|
||||
;
|
||||
value list1 symb =
|
||||
let rec loop al =
|
||||
parser
|
||||
[ [: a = symb; s :] -> loop [a :: al] s
|
||||
| [: :] -> al ]
|
||||
in
|
||||
parser [: a = symb; s :] -> List.rev (loop [a] s)
|
||||
;
|
||||
value list1sep symb sep =
|
||||
let rec kont al =
|
||||
parser
|
||||
[ [: v = sep; a = symb; s :] -> kont [a :: al] s
|
||||
| [: :] -> al ]
|
||||
in
|
||||
parser [: a = symb; s :] -> List.rev (kont [a] s)
|
||||
; *)
|
||||
|
||||
value list1 =
|
||||
let rec self stream acc =
|
||||
match stream with parser
|
||||
[ [: `(EOI, _) :] -> acc
|
||||
| [: `(LIDENT x, _); xs :] -> self xs (A acc (B x))
|
||||
| [: `(BLANKS _ | NEWLINE, _); xs :] -> self xs acc ]
|
||||
in
|
||||
parser [: `(LIDENT x, _); xs :] -> self xs (B x);
|
||||
value rec length x acc =
|
||||
match x with
|
||||
[ A x y -> length x (length y acc)
|
||||
| B _ -> succ acc ];
|
||||
(* value length _ _ = -1; *)
|
||||
open Format;
|
||||
try
|
||||
let f = Sys.argv.(1) in
|
||||
let () = printf "parsing...@." in
|
||||
let a = list1 (lex (Loc.mk f) (Stream.of_channel (open_in f))) in
|
||||
let () = printf "counting...@." in
|
||||
let n = length a 0 in
|
||||
printf "%d@." n
|
||||
with e -> eprintf "error: %a@." Camlp4.ErrorHandler.print e;
|
||||
|
|
@ -0,0 +1,2 @@
|
|||
(* rec.ml *)
|
||||
value rec x = 42;
|
||||
File diff suppressed because it is too large
Load Diff
File diff suppressed because it is too large
Load Diff
|
|
@ -0,0 +1,11 @@
|
|||
open Camlp4.PreCast
|
||||
|
||||
let simplify =
|
||||
object
|
||||
inherit Ast.map as super
|
||||
method expr e =
|
||||
match e with
|
||||
| <:expr< $x$ + 0 >> | <:expr< 0 + $x$ >> -> x
|
||||
| e -> super#expr e
|
||||
end
|
||||
in AstFilters.register_str_item_filter simplify#str_item
|
||||
|
|
@ -0,0 +1,11 @@
|
|||
open Camlp4.PreCast;
|
||||
|
||||
let simplify =
|
||||
object (self)
|
||||
inherit Ast.map as super;
|
||||
method expr e =
|
||||
match e with
|
||||
[ <:expr< $x$ + 0 >> | <:expr< 0 + $x$ >> -> self#expr x
|
||||
| e -> super#expr e ];
|
||||
end
|
||||
in AstFilters.register_str_item_filter simplify#str_item;
|
||||
|
|
@ -0,0 +1 @@
|
|||
"abc";
|
||||
|
|
@ -0,0 +1,3 @@
|
|||
type t = [ A of int | B of t ];
|
||||
type t2 = [ A of int | B of t ];
|
||||
type t3 = [ A of int | B of t ];
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
type t1 = ();;
|
||||
type t2 = unit;;
|
||||
let x : t1 = ();;
|
||||
let y : t2 = ();;
|
||||
|
|
@ -0,0 +1,4 @@
|
|||
(* use.ml *)
|
||||
#use "test/fixtures/rec.ml";
|
||||
(* value use *)
|
||||
value use = 3;
|
||||
Loading…
Reference in New Issue