Ignore:
Timestamp:
Mar 8, 2013, 9:07:28 PM (8 years ago)
Author:
sacerdot
Message:

Everything extracted again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/frontend_misc.ml

    r2773 r2827  
    118118
    119119open Listb
     120
     121(** val typ_eq_dec : AST.typ -> AST.typ -> (__, __) Types.sum **)
     122let typ_eq_dec t1 t2 =
     123  match t1 with
     124  | AST.ASTint (x, x0) ->
     125    (match t2 with
     126     | AST.ASTint (sz, sg) ->
     127       (fun sz' sg' ->
     128         match sz with
     129         | AST.I8 ->
     130           (match sz' with
     131            | AST.I8 ->
     132              AST.typ_eq (AST.ASTint (AST.I8, sg')) (AST.ASTint (AST.I8, sg))
     133            | AST.I16 ->
     134              AST.typ_eq (AST.ASTint (AST.I16, sg')) (AST.ASTint (AST.I8,
     135                sg))
     136            | AST.I32 ->
     137              AST.typ_eq (AST.ASTint (AST.I32, sg')) (AST.ASTint (AST.I8,
     138                sg)))
     139         | AST.I16 ->
     140           (match sz' with
     141            | AST.I8 ->
     142              AST.typ_eq (AST.ASTint (AST.I8, sg')) (AST.ASTint (AST.I16,
     143                sg))
     144            | AST.I16 ->
     145              AST.typ_eq (AST.ASTint (AST.I16, sg')) (AST.ASTint (AST.I16,
     146                sg))
     147            | AST.I32 ->
     148              AST.typ_eq (AST.ASTint (AST.I32, sg')) (AST.ASTint (AST.I16,
     149                sg)))
     150         | AST.I32 ->
     151           (match sz' with
     152            | AST.I8 ->
     153              AST.typ_eq (AST.ASTint (AST.I8, sg')) (AST.ASTint (AST.I32,
     154                sg))
     155            | AST.I16 ->
     156              AST.typ_eq (AST.ASTint (AST.I16, sg')) (AST.ASTint (AST.I32,
     157                sg))
     158            | AST.I32 ->
     159              AST.typ_eq (AST.ASTint (AST.I32, sg')) (AST.ASTint (AST.I32,
     160                sg))))
     161     | AST.ASTptr -> (fun sz sg -> Types.Inr __)) x x0
     162  | AST.ASTptr ->
     163    (match t2 with
     164     | AST.ASTint (sz, sg) -> Types.Inr __
     165     | AST.ASTptr -> Types.Inl __)
    120166
    121167(** val block_DeqSet : Deqsets.deqSet **)
Note: See TracChangeset for help on using the changeset viewer.