--|错误数据类型定义（在解析器之间共享）。

模块 Binrep公司。获取。错误 哪里

进口 全球总部。通用 ( 通用 )
进口 数据。文本 ( 文本 )
进口 数字。自然 ( 自然 )
进口 数据。单词 ( 单词8 )
进口 数据。字节字符串 ( 字节字符串 )

--|结构化分析错误。
数据 E类
  = E类 国际 E中间

  --|未处理的解析错误。
  --
  --如果不将flatparse更改为错误，则会出现此错误。
  --
  --除库代码外，不应设置。
  | EFail（电子邮件）

    衍生 股票 (E->E->Bool公司（E->E->Bool）->（E->E->Bool）->Eq E对于所有a.（a->a->Bool）->（a->a->Bool）->等式a$c==：：E->E->Bool==：：E->E->Bool$c/=：：E->E->Bool/=：：E->E->Bool等式, 国际->电子->展会[E] ->显示E->字符串（Int->E->ShowS）->（E->String）->（[E]->ShowS）->显示E对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示$cshowsPrec:：Int->E->ShowSshowsPrec:：Int->E->ShowS$cs显示：：E->String显示：：E->String$cshowList:：[E]->显示showList:：[E]->显示显示, （对于所有x.E->Rep E x）->（对于所有x。Rep E x->E）->通用E对于所有x。代表E x->E对于所有x。E->代表E x对于所有a。（对于所有x.a->Rep a x）->（对于所有x。Rep a x->a）->通用$cfrom:：对于所有x.E->Rep E x来自：：对于所有x。E->Rep E x$cto：：对于所有x代表E x->E至：：对于所有x代表E x->E通用)

数据 E中间

  --|分析错误，没有进一步的上下文。
  = EB基础 E基础

  --|不知怎的，我们有两个解析错误。
  --
  --我有一种感觉，看到这一点表明您的代码中存在问题。
  | E和 E类 E基础

  --|用泛型信息修饰的解析错误。
  --
  --除库代码外，不应设置。
  | E通用 字符串 {-^数据类型名称-} (E通用 E类)

    衍生 股票 (EMiddle->EMiddle->布尔（EMiddle->EMiddle->Bool）->（EMiddle->EMiddle->Bool）->等式EMiddle对于所有a.（a->a->Bool）->（a->a->Bool）->等式a$c==：：EMiddle->EMiddle->布尔==：：EMiddle->EMiddle->布尔$c/=：：EMiddle->EMiddle->布尔/=：：EMiddle->EMiddle->布尔等式, Int->EMiddle->ShowS（内部->中间->显示）[EMiddle]->显示EMiddle->字符串（Int->EMiddle->ShowS）->（EMiddle->字符串）->（[EMiddle]->显示S）->显示EMiddle对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示$cshowsPrec:：Int->EMidle->显示showsPrec:：Int->EMiddle->ShowS$cshow:：EMiddle->字符串显示：：EMiddle->String$cshowList:：[EMiddle]->显示showList:：[EMiddle]->显示列表显示, （对于所有x。EMiddle->Rep EMiddle x）->（对于所有x.Rep EMiddle x->EMidle）->通用EMiddle对于所有x.Rep EMiddle x->EMidle对于所有x.EMiddle->Rep EMiddle x对于所有a。（对于所有x.a->Rep a x）->（对于所有x。Rep a x->a）->通用$cfrom:：对于所有x.EMiddle->Rep EMiddle x来自：：对于所有x。EMiddle->Rep EMiddle x$cto:：针对所有x个代表EMiddle x->EMiddle至：：for all x.Rep EMiddle x->EMiddle通用)

数据 E基础
  = E预期字节 单词8 单词8
  --^应为第一名，第二名

  | E超长 国际 国际
  --^应为第一名，第二名

  | E预期 字节字符串 字节字符串
  --^应为第一名，第二名

  | EFailNamed（已命名） 字符串
  --^已知失败

  | EFailParse（电子邮件解析） 字符串 字节字符串 单词8
  --^parse fail（解析较大的对象，然后解析其中较小的对象）

  | ERan输出 国际
  --^输入不足，此部分正好需要@n@字节（n>0）
  --
  --实际上是“Natural”，但我们使用“Int”，因为这是flatparse使用的
  --内部。

    衍生 股票 (EBase->EBase->布尔（EBase->EBase->Bool）->（EBase->EBase->Bool）->Eq EBase对于所有a.（a->a->Bool）->（a->a->Bool）->等式a$c=：：电子基础->电子基础->布尔==：：EBase->EBase->布尔$c/=：：EBase->EBase->布尔/=：：EBase->EBase->布尔等式, Int->EBase->显示[EBase]->显示EBase->字符串（Int->EBase->ShowS）->（EBase->String）->（[EBase]->ShowS）->显示EBase对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示$cshowsPrec:：Int->EBase->ShowSshowsPrec:：Int->EBase->ShowS$cs显示：：EBase->String显示：：EBase->String$cshowList:：[EBase]->显示showList:：[EBase]->显示显示, （对于所有x.EBase->Rep EBase x）->（对于所有x.Rep EBase x->EBase）->通用EBase对于所有x个Rep EBase x->EBase对于所有x个EBase->Rep EBase x对于所有a。（对于所有x.a->Rep a x）->（对于所有x。Rep a x->a）->通用$cfrom:：对于所有x。EBase->Rep EBase x来自：：对于所有x。EBase->Rep EBase x$cto：：对于所有x个代表EBase x->EBase到：：对于所有x。Rep EBase x->EBase通用)

--|类型为@e@的解析错误的通用上下文层。
--
--递归：字段中出现的解析错误在此进行了封装。（那些
--错误也可能具有通用上下文层。）
--
--使其显式递归可能看起来很奇怪，但它澄清了这一点
--数据类型被视为顶级类型之上的一层。
数据 E通用 e（电子）
  --|与总和类型（构造函数）相关的分析错误。
  = EGenericSum（通用总和） (EGenericSum（通用总和） e（电子）)

  --|构造函数字段中的解析错误。
  | E通用字段
        字符串          --^构造函数名称
        (也许 吧 字符串)  --^字段记录名称（如果存在）
        自然         --^构造函数中的字段索引
        e（电子）               --^字段分析错误
    衍生 股票 (e通用e->e通用e->Bool（e通用e->e通用e->Bool）->（e广义e->e广义e->布尔）->等式（e广义e）对于所有e.方程e=>EGeneric e->EGeneriac e->Bool对于所有a.（a->a->Bool）->（a->a->Bool）->等式a$c==：：对于所有e.等式e=>EGeneric e->EGeneriac e->Bool==：：e属e->e属e->布尔$c/=：：对于所有e。方程e=>e属e->e属e->布尔/=：：e通用e->e通用e->布尔等式, Int->e通用e->ShowS[e通用e]->显示e通用e->String（Int->EGenerice->ShowS）->（e通用e->字符串）->（[EGeneric e]->显示）->显示（e通用e）对于所有e.Show e=>Int->EGeneric e->ShowS对于所有e.Show e=>[EGeneric e]->ShowS对于所有e.显示e=>EGenerice->String对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示$cshowsPrec:：对于所有e.Show e=>Int->EGeneric e->ShowSshowsPrec:：Int->EGeneric e->ShowS$cs显示：：for all e.显示e=>EGeneric e->String显示：：EGeneric e->String$cshowList:：对于所有e.Show e=>[EGeneric e]->ShowSshowList:：[EGeneric e]->显示显示, （对于所有x.EGenerice->Rep（EGenerice）x）->（对于所有x.Rep（EGeneric e）x->EGenerice）->通用（e通用e）对于所有x.Rep（e通用e）x->e通用e对于所有x.EGenerice->Rep（EGenerice）x对于所有a。（对于所有x.a->Rep a x）->（对于所有x。Rep a x->a）->通用对于所有e x。Rep（e通用e）x->e通用e对于所有e x。e通用e->Rep（e通用e）x$cfrom:：对于所有e x。e通用e->Rep（e通用e）x来自：：对于所有x。EGeneric e->Rep（EGenerice）x$cto：：对于所有e x.Rep（EGeneric e）x->EGenerice到：：对于所有x.Rep（EGeneric e）x->EGenerice通用)

数据 EGenericSum（通用总和） e（电子）
  --|分析前缀标记时出错。
  = E通用SumTag e（电子）

  --|无法将构造函数与解析的前缀标记匹配。
  | EGenericSumTagNo匹配
        [字符串] --^测试的施工人员
        文本     --^经过修饰的前缀标记
    衍生 股票 (EGenericSum e->EGenericSum e->布尔（EGenericSum e->EGenericSam e->Bool）->（EGenericSum e->EGenericSam e->Bool）->等式（EGeneriecSum e）对于所有e.等式e=>EGenericSum e->EGenerisSum e->Bool对于所有a.（a->a->Bool）->（a->a->Bool）->等式a$c==：：对于所有e.等式e=>EGenericSum e->EGenericSam e->Bool==：：EGenericSum e->EGenericSam e->Bool$c/=：：对于所有e.等式e=>EGenericSum e->EGenericSum e->Bool/=：：EGenericSum e->EGenericSum e->布尔等式, Int->EGenericSum e->显示[EGenericSum e]->显示EGenericSum e->字符串（Int->EGenericSum e->ShowS）->（EGenericSum e->String）->（[EGenericSum e]->显示）->显示（EGenericSum e）对于所有e.Show e=>Int->EGenericSum e->ShowS对于所有e.显示e=>[EGenericSum e]->显示S对于所有e.显示e=>EGenericSum e->String对于所有a。（Int->a->ShowS）->（a->String）->（[a]->ShowS）->显示$cshowsPrec:：对于所有e.Show e=>Int->EGenericSum e->ShowSshowsPrec:：Int->EGenericSum e->显示S$cs显示：：for all e.显示e=>EGenericSum e->String显示：：EGenericSum e->String$cshowList:：对于所有e.Show e=>[EGenericSum e]->ShowSshowList:：[EGenericSum e]->显示显示, （对于所有x.EGenericSum e->Rep（EGenericSam e）x）->（对于所有x.Rep（EGenericSum e）x->EGenericSam e）->通用（EGenericSum e）对于所有x.Rep（EGenericSum e）x->EGenericSam e对于所有x.EGenericSum e->Rep（EGenericSam e）x对于所有a。（对于所有x.a->Rep a x）->（对于所有x。Rep a x->a）->通用对于所有e x代表（EGenericSum e）x->EGenericSam e对于所有e x。EGenericSum e->Rep（EGenericSam e）x$cfrom:：对于所有e x。EGenericSum e->Rep（EGenericSam e）x来自：：对于所有x。EGenericSum e->Rep（EGenericSam e）x$cto：：对于所有e x代表（EGenericSum e）x->EGenericSam e到：：对于所有x.Rep（EGenericSum e）x->EGenericSam e通用)