Merge pull request #302 from pfitaxel/impl-gh50-ppx-prot

Extend ppx_metaquot with an extension point [%funty: _ -> _]

Author: yurug

demo-repository/exercises/demo/descr.html

@@ -56,6 +56,8 @@ <h2>The task</h2>
       </li>
     </ul>
   </li>
+  <li>
+    Write a function <code>sum3</code> of type <code>int -> int -> int -> int</code>.
 </ol>
 
 <p>

demo-repository/exercises/demo/solution.ml

@@ -9,3 +9,5 @@ let minus_tests = [((1, 1), 0)]
 
 let divide = ( / )
 let divide_tests = [((2, 2), 1)]
+
+let sum3 a b c = a + b + c

demo-repository/exercises/demo/test.ml

@@ -40,6 +40,15 @@ let test_divide () =
     [%ty : int -> int -> int ] "divide"
     [ ("Multiplies instead of dividing", 1, fun x y -> x * y) ]
 
+let test_sum3 () =
+  test_function_against_solution
+    ~gen:2                  (* only 2 random test cases *)
+    [%funty: int -> int -> int -> int] (* function type *)
+    "sum3"                             (* function name *)
+    (* list of additional, explicit test cases *)
+    [ 10 @: 20 @:!! 30 ;
+      -1 @: -2 @:!! -3 ]
+
 let () =
   set_result @@
   ast_sanity_check code_ast @@ fun () ->
@@ -54,4 +63,7 @@ let () =
        test_times ()) ;
     Section
       ([ Text "Function:" ; Code "divide" ],
-       test_divide ()) ]
+       test_divide ()) ;
+    Section
+    ([ Text "Function:" ; Code "sum3" ],
+       test_sum3 ()) ]

src/grader/dune

@@ -105,6 +105,7 @@
         %{ocaml-config:standard_library}/compiler-libs/parse.cmi)
        (:generated-cmis
         ../ppx-metaquot/.ty.objs/ty.cmi
+        ../ppx-metaquot/.fun_ty.objs/fun_ty.cmi
         .testing.objs/introspection_intf.cmi
         .learnocaml_report.objs/learnocaml_report.cmi
         .testing.objs/test_lib.cmi