Commits

Jacques-Pascal Deplaix committed 66557dd

paper: Add some words about LLVM_types

  • Participants
  • Parent commits b09102e

Comments (0)

Files changed (1)

 
     LLVM_types:
 
-    /* jpdeplaix */
+    Le module LLVM_types contient trois grosse parties:
+        - Le sous-module N_star qui modèlise l'ensemble N*
+            (entier naturel non-nulle)
+        - Le type t qui modèlise un type de LLVM-IR
+        - Le type value qui modèlise un type et sa valeur
+    Les GADT se révèlent ici très utile pour créer les types N_star.t
+    et le type f (servant à modéliser le type des fonctions).
 
 Le résultat:
     Même si nous avions certains problèmes lors de l'implémentation de TyLLVM,