heptagon/t16.ept at master - heptagon - Gitea: Service Git d'Aurore

Suppression de la possibilité de cloner des dépôts privés en HTTPS ;
Réinstallation de drone ou changement d'outil de CI ;
Possiblement migration de Gitea à Forgejo.

jeltz

/

heptagon

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

15 lines

259 B

Plaintext

Raw Permalink Blame History

 (* Normalization produces a new equation "v_1 = v_1" without any checking! *)
 node foo() returns (tmt1:int)
   var v_1:int; tmt2:int;
   let
      tmt1 = (1 + tmt2);
      tmt2 = 0 fby v_1;
      v_1 = tmt1;
   tel
 node main() returns (t:int)
 let
   t = foo()
 tel