diffast-langs-python-parsing 0.1.1

module Astloc = Langs_common.Astloc

module Ast_base = Langs_common.Ast_base

module Loc : sig ... end

type loc = Loc.t

type name = loc * string

type dottedname = name list

type comment = {

c_loc : Loc.t;
c_comment : string;

}

val make_comment : Loc.t -> string -> comment

type fileinput =

| Fileinput of loc * statement list

and testlist = {

list : expr list;
comma : bool;
mutable yield : bool;

}

and statement = {

stmt_desc : statement_desc;
stmt_loc : loc;

}

and statement_desc =

| Ssimple of simplestmt list
| Sasync of statement
| Sif of expr * suite * (loc * expr * suite) list * (loc * suite) option
| Swhile of expr * suite * (loc * suite) option
| Sfor of target list * expr list * suite * (loc * suite) option
| Stry of suite * (except * suite) list * (loc * suite) option * (loc * suite) option
| Stryfin of suite * loc * suite
| Swith of (expr * target option) list * suite
| Sasync_funcdef of decorator list * name * parameters * expr option * suite
| Sfuncdef of decorator list * name * parameters * expr option * suite
| Sclassdef of decorator list * name * arglist * suite
| Smatch of subject_expr * case_block list
| Serror
| Smarker of string

and simplestmt = {

sstmt_desc : simplestmt_desc;
sstmt_loc : loc;

}

and simplestmt_desc =

| SSexpr of expr list
| SSassign of testlist list * testlist
| SSannassign of target list * loc * expr * testlist option
| SSaugassign of target list * augop * testlist
| SSprint of expr list
| SSprintchevron of expr * expr list
| SSdel of target list
| SSpass
| SSbreak
| SScontinue
| SSreturn of expr list
| SSraise
| SSraise1 of expr
| SSraise2 of expr * expr
| SSraise3 of expr * expr * expr
| SSraisefrom of expr * expr
| SSyield of expr list
| SSimport of dottedname_as_name list
| SSfrom of dots option * dottedname option * name_as_name list
| SSglobal of name list
| SSnonlocal of name list
| SSexec of expr
| SSexec2 of expr * expr
| SSexec3 of expr * expr * expr
| SSassert of expr
| SSassert2 of expr * expr
| SSerror

and dottedname_as_name = dottedname * name option

and name_as_name = name * name option

and except =

| EX of loc
| EX1 of loc * expr
| EX2 of loc * expr * target

and suite = loc * statement list

and dots = loc * int

and parameters = loc * vararg list

and vararg =

| VAarg of fpdef * expr option
| VAargs of loc * name option * expr option
| VAkwargs of loc * name * expr option
| VAsep of loc

and fpdef =

| Fname of name
| Flist of loc * fpdef list
| Ftyped of loc * name * expr

and decorator = loc * dottedname * arglist

and expr = {

expr_desc : expr_desc;
expr_loc : loc;

}

and expr_desc =

| Eprimary of primary
| Epower of primary * expr
| Ebop of expr * bop * expr
| Euop of uop * expr
| Elambda of parameters * expr
| Econd of expr * expr * expr
| Estar of expr
| Enamed of expr * expr
| Efrom of expr
| Earg of expr * expr
| Eerror

and primary = {

prim_desc : primary_desc;
prim_loc : loc;

}

and primary_desc =

| Pname of name
| Pliteral of literal
| Pexpr of expr
| Pparen of expr
| Ptuple of expr list
| Pyield of expr list
| PcompT of expr * compfor
| PcompL of expr * compfor
| Plist of expr list
| Plistnull
| Pdictorset of dictorsetmaker
| Pdictnull
| Pstrconv of expr list
| Pattrref of primary * name
| Psubscript of primary * expr list
| Pslice of primary * sliceitem list
| Pcall of primary * arglist
| Pawait of primary
| Pellipsis

and trailer =

| TRattrref of name
| TRsubscript of expr list
| TRslice of sliceitem list
| TRcall of arglist

and literal =

| Linteger of string
| Llonginteger of string
| Lfloatnumber of string
| Limagnumber of string
| Lstring of pystring list
| Lnone
| Ltrue
| Lfalse

and pystring =

| PSlong of loc * string
| PSshort of loc * string

and target = expr

and listfor = loc * expr list * expr list * listiter option

and listif = loc * expr * listiter option

and listiter =

| LIfor of listfor
| LIif of listif

and dictorsetmaker =

| DSMdict of dictelem list
| DSMdictC of dictelem * compfor
| DSMset of expr list
| DSMsetC of expr * compfor

and dictelem = {

delem_desc : dictelem_desc;
delem_loc : loc;

}

and dictelem_desc =

| DEkeyValue of expr * expr
| DEstarStar of expr

and sliceitem =

| SIexpr of expr
| SI2 of loc * expr option * expr option
| SI3 of loc * expr option * expr option * expr option

and arglist = loc * argument list

and argument =

| Aarg of loc * expr * expr option
| Acomp of loc * expr * compfor
| Aassign of loc * expr * expr
| Aargs of loc * expr
| Akwargs of loc * expr

and compiter =

| Cfor of compfor
| Cif of compif

and compif = loc * expr * compiter option

and compfor = loc * (expr list * expr * compiter option) * bool

and augop =

| AaddEq
| AsubEq
| AmulEq
| AdivEq
| AmodEq
| AandEq
| AorEq
| AxorEq
| AshiftLEq
| AshiftREq
| ApowEq
| AfdivEq

and bop =

| Bmul
| Bdiv
| Bfdiv
| Bmod
| Badd
| Bsub
| BshiftL
| BshiftR
| Beq
| Bneq
| Blt
| Bgt
| Ble
| Bge
| BbitAnd
| BbitOr
| BbitXor
| Band
| Bor
| Bis
| BisNot
| Bin
| BnotIn

and uop =

| Upositive
| Unegative
| Ucomplement
| Unot

and subject_expr =

| SEstar of loc * expr * expr list
| SEnamed of loc * expr

and guard = loc * expr

and complex_number =

| CNplus of loc * literal_expr * string
| CNminus of loc * literal_expr * string

and literal_expr =

| LEsigned of loc * literal
| LEsignedMinus of loc * literal
| LEcmplxPlus of loc * literal_expr * string
| LEcmplxMinus of loc * literal_expr * string
| LEstrings of loc * pystring list
| LEnone of loc
| LEtrue of loc
| LEfalse of loc

and key =

| Kliteral of loc * literal_expr
| Kattr of loc * name list

and pattern =

| PAas of loc * pattern * pattern
| PAor of loc * pattern list
| PAcapture of name
| PAliteral of literal_expr
| PAwildcard of loc
| PAvalue of loc * name list
| PAgroup of loc * pattern
| PAseqB of loc * pattern option
| PAseqP of loc * pattern option
| PAseqOpen of loc * pattern * pattern option
| PAseqMaybe of loc * pattern list
| PAstar of loc * pattern
| PAdblStar of loc * pattern
| PAmap of loc * pattern list * pattern option
| PAkeyValue of loc * key * pattern
| PAkeyword of loc * name * pattern
| PAclass of loc * name list * pattern list * pattern list

and case_block = loc * pattern * guard option * suite

class c : fileinput -> object ... end

package diffast-langs-python-parsing