Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
(* Ceci est un fichier qui compile et implante l'interface calcgeo.ml ; il l'implante mal (toutes les fonctions renvoient une exception lorsqu'elles sont appelées), mais les fonctions ont le bon type. L'idée est de vous permettre de travailler avec ce fichier en le modifiant peu à peu et en vérifiant régulièrement avec "testetypes" que vous implantez bien les types demandés. Bien entendu, rien ne vous empêche d'ajouter des fonctions auxiliaires, de changer l'ordre des définitions, ... *) type point = bool (* n'importe quoi *) let origine = failwith "Pas implanté" type vecteur = bool (* n'importe quoi *) let vecteur _ _ = failwith "Pas implanté" let i = failwith "Pas implanté" let j = failwith "Pas implanté" let k = failwith "Pas implanté" let prod _ _ = failwith "Pas implanté" let add_vect _ _ = failwith "Pas implanté" let mult_vect _ _ = failwith "Pas implanté" type transformation = string (* n'importe quoi *) let applique _ _ = failwith "Pas implanté" let compose _ _ = failwith "Pas implanté" let translation _ = failwith "Pas implanté" let rotation_x _ = failwith "Pas implanté" let rotation_y _ = failwith "Pas implanté" let rotation_z _ = failwith "Pas implanté" let homothetie _ = failwith "Pas implanté" type 'texture eval_objet = bool let boule _ = failwith "Pas implanté" let z_neg _ = failwith "Pas implanté" let boite _ _ _ _ = failwith "Pas implanté" let transforme_objet _ _ = failwith "Pas implanté" type 'texture trace_objet = int let eval_to_trace _ = failwith "Pas implanté" type rayon = float let rayon = failwith "Pas implanté" exception Pas_d_intersection let intersecte _ _ = failwith "Pas implanté" let intersection _ _ = failwith "Pas implanté" (* vous pouvez mettre ici vos jeux de tests *) let _ = begin assert (prod i j = 0.); assert (prod i i = 1.); end