Skip to content

Commit

Permalink
Add as definition case for bool
Browse files Browse the repository at this point in the history
  • Loading branch information
MicroProofs committed Aug 17, 2024
1 parent baec3ff commit f69861f
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion crates/aiken-project/src/config.rs
Original file line number Diff line number Diff line change
Expand Up @@ -75,7 +75,7 @@ impl SimpleExpr {
let location = Span::empty();

let (value, annotation) = match self {
SimpleExpr::Bool(..) => todo!("requires https://github.com/aiken-lang/aiken/pull/992"),
SimpleExpr::Bool(..) => (self.as_untyped_expr(), Some(Annotation::boolean(location))),
SimpleExpr::Int(_) => (
// TODO: Replace with 'self.as_untyped_expr()' after https://github.com/aiken-lang/aiken/pull/992
self.as_untyped_expr(),
Expand Down

0 comments on commit f69861f

Please sign in to comment.