diff options
Diffstat (limited to 'src/commands/discocaml.rs')
| -rw-r--r-- | src/commands/discocaml.rs | 42 |
1 files changed, 36 insertions, 6 deletions
diff --git a/src/commands/discocaml.rs b/src/commands/discocaml.rs index 4aaa695..78c2d95 100644 --- a/src/commands/discocaml.rs +++ b/src/commands/discocaml.rs @@ -159,13 +159,43 @@ pub async fn run_discocaml( fn make_response_message(expr: &DiscocamlResponseExpr) -> CreateInteractionResponseMessage { // TODO: Real escaping - CreateInteractionResponseMessage::new() + let mut out = CreateInteractionResponseMessage::new() .content(format!("```ocaml\n{}\n```", expr.expr)) - .button(CreateButton::new("step-cbv").label("Step (CBV)")) - .button(CreateButton::new("step-cbn").label("Step (CBN)")) - .button(CreateButton::new("run-cbv").label("Run (CBV)")) - .button(CreateButton::new("run-cbn").label("Run (CBN)")) - .button(CreateButton::new("draw-tree").label("Draw Tree")) + .button( + CreateButton::new("draw-tree") + .label("Draw Tree") + .disabled(true), + ); + + out = out + .button( + CreateButton::new("step-cbv") + .label("Step (CBV)") + .disabled(true), + ) + .button( + CreateButton::new("step-cbn") + .label("Step (CBN)") + .disabled(true), + ) + .button( + CreateButton::new("run-cbv") + .label("Run (CBV)") + .disabled(true), + ) + .button( + CreateButton::new("run-cbn") + .label("Run (CBN)") + .disabled(true), + ); + + out = out.button( + CreateButton::new("start-proving") + .label("Prove it!") + .disabled(true), + ); + + out } pub async fn handle_command( |