Skip to content

Commit

Permalink
Fix type of let expression
Browse files Browse the repository at this point in the history
  • Loading branch information
joongwon committed Jun 28, 2024
1 parent 3e6faf6 commit c2f7949
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lib/syntax.ml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ module Expr = struct
| Cond : { pred : hook_free t; con : hook_free t; alt : hook_free t } -> _ t
| Fn : { param : Id.t; body : hook_free t } -> _ t
| App : { fn : hook_free t; arg : hook_free t } -> _ t
| Let : { id : Id.t; bound : hook_free t; body : _ t } -> _ t
| Let : { id : Id.t; bound : hook_free t; body : 'a t } -> 'a t
| Stt : {
label : Label.t;
stt : Id.t;
Expand Down

0 comments on commit c2f7949

Please sign in to comment.