feat: add quiz for ch05-03 (cairo-book#783)

Co-authored-by: Gift-Naomi <[email protected]> Co-authored-by: enitrat <[email protected]>
stevencartavia · Jun 1, 2024 · bf27828 · bf27828
1 parent 02205d8
commit bf27828
Show file tree

Hide file tree

Showing 2 changed files with 78 additions and 0 deletions.
diff --git a/quizzes/ch05-03-method-syntax.toml b/quizzes/ch05-03-method-syntax.toml
@@ -0,0  1,76 @@
 [[questions]]
 type = "Tracing"
 prompt.program = """
 #[derive(Copy, Drop)]
 struct Rectangle {
     width: u64,
     height: u64,
 }
 
 #[generate_trait]
 impl RectangleImpl of RectangleTrait {
     fn area(self: @Rectangle) -> u64 {
         (*self.width) * (*self.height)
     }
     fn new(width: u64, height: u64) -> Rectangle {
         Rectangle { width, height }
     }
     fn compare_areas(self: @Rectangle, r2: @Rectangle) -> bool {
         self.area() == r2.area()
     }
 }
 
 fn main() {
     let rect1 = Rectangle {width: 40, height: 50};
     let rect2 = RectangleTrait::new(10, 40);
     println!("{}", rect1.compare_areas(@rect2));
 }
 """
 
 answer.doesCompile = true
 
 answer.stdout = "false"
 context = """
 It compiles, because the type `Rectangle` on which we call the method on reference is implicitly passed as a `@Rectangle`
 """
 id = "98bbc25c-80b2-4226-9219-a8d7b20fb991"
 
 
 [[questions]]
 type = "Tracing"
 prompt.program = """
 #[derive(Drop)]
 struct Rectangle {
     width: u64,
     height: u64,
 }
 
 #[derive(Drop)]
 struct Circle {
     radius: u64,
 }
 
 trait RectangleTrait {
     fn area(self: @Rectangle) -> u64;
 }
 
 impl RectangleImpl of RectangleTrait {
     fn area(self: @Rectangle) -> u64 {
         return (*self.width) * (*self.height);
     }
 }
 
 fn main() {
     let my_square = Rectangle { width: 30, height: 50 };
     let my_circle = Circle { radius: 10 };
     let area = my_circle.area();
     println!("{}", area)
 }
 
 """
 answer.doesCompile = false
 answer.lineNumber = 25
 context = """
 Methods can only be called on the types they're defined for; here, we try to call `area()` on `Circle`, when it's defined for `Rectangle`.
 """
 id = "1e4a5bff-dc92-4c09-9f04-1d95fcf039bb"
diff --git a/src/ch05-03-method-syntax.md b/src/ch05-03-method-syntax.md
@@ -109,5  109,7 @@ the following code is equivalent to the code shown in the _Methods with several
 There’s no strong reason to separate these methods into multiple `trait` and `impl`
 blocks here, but this is valid syntax.
 
 {{#quiz ../quizzes/ch05-03-method-syntax.toml}}
 
 [enums]: ./ch06-01-enums.md
 [modules]: ./ch07-02-defining-modules-to-control-scope.md