first global example

frenetic-lang · Jul 26, 2016 · c61796c · c61796c
1 parent bc55778
commit c61796c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/examples/meta-fields/global/meta-global1.kat b/examples/meta-fields/global/meta-global1.kat
@@ -0,0 +1,2 @@
+let meta := 1 in
+if meta = 1 then 1@1=>2@2 else 1@1=>3@3
diff --git a/lib/Frenetic_NetKAT_Compiler.ml b/lib/Frenetic_NetKAT_Compiler.ml
@@ -535,6 +535,9 @@ module Pol = struct
             |> mk_filter
       in
       mk_big_seq [filter_loc s1 p1; Dup; post_link ]
+    | Let (metaid, Const v, _, p) ->
+      Seq (Mod (Meta (metaid, v)), of_pol ing p)
+    | Let _ -> failwith "not implemented"
     | VLink _ -> assert false (* SJS / JNF *)
 end