Skip to main content

Browse the archive

Revision 7b7008967c810dab1b0766c4e299bd857a370d02 authored by François Dupressoir on 14 December 2021, 15:43:15 UTC, committed by Pierre-Yves Strub on 22 April 2022, 10:53:46 UTC 
Improve parser for anonymous proc parameters
 
Anonymous and named parameters can be mixed for abstract procedures.

Corner cases are not exercised by test suites and may crop up.

Resolves #108.
1 parent 74a4d02
Raw File
ecTransMatching.mli 
(* -------------------------------------------------------------------- *)
open EcParsetree
open EcMatching


(* -------------------------------------------------------------------- *)
val default_start_name : string
val default_end_name   : string
val default_name       : string

(* -------------------------------------------------------------------- *)
val trans_stmt : pim_regexp -> regexp_instr

val trans_block : pim_block -> regexp_instr
back to top