From 1c85a09527f5b99684ff1b54c41089d788e47c80 Mon Sep 17 00:00:00 2001 From: Nate Foster Date: Mon, 29 Apr 2019 19:52:58 -0700 Subject: [PATCH 1/2] Fix bug in pretty printer for Direction.t --- lib/pretty.ml | 2 +- lib/types.mli | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/pretty.ml b/lib/pretty.ml index 87b8ca39b..5a95f3c4a 100644 --- a/lib/pretty.ml +++ b/lib/pretty.ml @@ -364,7 +364,7 @@ end = struct let format_t fmt e = match snd e with | In -> Format.fprintf fmt "in" - | Out -> Format.fprintf fmt "in" + | Out -> Format.fprintf fmt "out" | InOut -> Format.fprintf fmt "inout" end diff --git a/lib/types.mli b/lib/types.mli index 3992448a5..67fe89f73 100644 --- a/lib/types.mli +++ b/lib/types.mli @@ -340,8 +340,8 @@ and Parser : sig type case = pre_case info [@@deriving sexp,yojson] - type pre_transition = - Direct of + type pre_transition = + Direct of { next: P4String.t } | Select of { exprs: Expression.t list; From 01f77149adf43148c31c9026ff6f1b21d605d222 Mon Sep 17 00:00:00 2001 From: Nate Foster Date: Mon, 29 Apr 2019 19:53:46 -0700 Subject: [PATCH 2/2] Bump version --- petr4.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/petr4.opam b/petr4.opam index 19fc90806..08ef4cc39 100644 --- a/petr4.opam +++ b/petr4.opam @@ -1,5 +1,5 @@ opam-version: "2.0" -version: "0.1" +version: "0.1.1" synopsis: "Petr4: Formal Semantics for the P4 Programming Language" maintainer: "jnfoster@cs.cornell.edu" authors: ["Nate Foster "]