Fix a bug where types weren't specialized in top level lets

src/lib/jib_util.ml

@@ -900,7 +900,8 @@ let ctype_def_map_ctyp f = function
 (* Map over each ctyp in a cdef using map_instr_ctyp *)
 let cdef_map_ctyp f = function
   | CDEF_register (id, ctyp, instrs) -> CDEF_register (id, f ctyp, List.map (map_instr_ctyp f) instrs)
-  | CDEF_let (n, bindings, instrs) -> CDEF_let (n, bindings, List.map (map_instr_ctyp f) instrs)
+  | CDEF_let (n, bindings, instrs) ->
+      CDEF_let (n, List.map (fun (id, ctyp) -> (id, f ctyp)) bindings, List.map (map_instr_ctyp f) instrs)
   | CDEF_fundef (id, heap_return, args, instrs) ->
       CDEF_fundef (id, heap_return, args, List.map (map_instr_ctyp f) instrs)
   | CDEF_startup (id, instrs) -> CDEF_startup (id, List.map (map_instr_ctyp f) instrs)

test/c/let_option.expect

@@ -0,0 +1 @@
+x is None()

test/c/let_option.sail

@@ -0,0 +1,17 @@
+default Order dec
+
+$include <prelude.sail>
+$include <string.sail>
+$include <mapping.sail>
+
+overload operator ^ = {concat_str}
+
+let x : option(bits(32)) = None()
+let y : option(bits(128)) = None()
+
+function main() -> unit = {
+    match x {
+      Some(x) => print_endline("x is " ^ bits_str(x)),
+      _ => print_endline("x is None()"),
+    };
+}