@@ -20,7 +20,7 @@ function yao_code_lowered_m(ex)
20
20
:($ locs => $ gate) => quote
21
21
Base. code_lowered (
22
22
$ Intrinsics. apply,
23
- ($ YaoCompiler. AnyReg, typeof ($ gate), typeof ($ Locations ($ (locs))))
23
+ ($ YaoCompiler. AnyReg, typeof ($ gate), typeof ($ Locations ($ (locs)))),
24
24
)
25
25
end
26
26
# apply(reg, gate)
@@ -36,7 +36,12 @@ function yao_code_lowered_m(ctrl, ex)
36
36
:($ locs => $ gate) => quote
37
37
Base. code_lowered (
38
38
$ Intrinsics. apply,
39
- ($ YaoCompiler. AnyReg, typeof ($ gate), typeof ($ Locations ($ (locs))), typeof ($ CtrlLocations ($ ctrl)))
39
+ (
40
+ $ YaoCompiler. AnyReg,
41
+ typeof ($ gate),
42
+ typeof ($ Locations ($ (locs))),
43
+ typeof ($ CtrlLocations ($ ctrl)),
44
+ ),
40
45
)
41
46
end
42
47
_ => error (" expect a locs => gate expression" )
@@ -50,14 +55,15 @@ function yao_code_typed_m(ex)
50
55
$ Base. code_typed (
51
56
$ Intrinsics. apply,
52
57
($ YaoCompiler. AnyReg, typeof ($ gate), typeof ($ Locations ($ (locs))));
53
- interp= $ (YaoInterpreter ())
58
+ interp = $ (YaoInterpreter ()),
54
59
)
55
60
end
56
61
# apply(reg, gate)
57
62
_ => quote
58
63
$ Base. code_typed (
59
- $ Intrinsics. apply, ($ YaoCompiler. AnyReg, typeof ($ ex));
60
- interp= $ (YaoInterpreter ()),
64
+ $ Intrinsics. apply,
65
+ ($ YaoCompiler. AnyReg, typeof ($ ex));
66
+ interp = $ (YaoInterpreter ()),
61
67
)
62
68
end
63
69
end
@@ -69,8 +75,13 @@ function yao_code_typed_m(ctrl, ex)
69
75
:($ locs => $ gate) => quote
70
76
Base. code_typed (
71
77
$ Intrinsics. apply,
72
- ($ YaoCompiler. AnyReg, typeof ($ gate), typeof ($ Locations ($ (locs))), typeof ($ CtrlLocations ($ ctrl)));
73
- interp= $ (YaoInterpreter ()),
78
+ (
79
+ $ YaoCompiler. AnyReg,
80
+ typeof ($ gate),
81
+ typeof ($ Locations ($ (locs))),
82
+ typeof ($ CtrlLocations ($ ctrl)),
83
+ );
84
+ interp = $ (YaoInterpreter ()),
74
85
)
75
86
end
76
87
_ => error (" expect a locs => gate expression" )
0 commit comments