haxala1r/olisp
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

syntactic_ast: modify the phantom types to have concrete constructors, as the ocaml compiler cannot prove them distinct otherwise
All checks were successful
ci/woodpecker/push/build Pipeline was successful
Details

Browse Source
This commit is contained in:
Emin Arslan
2026-01-07 20:00:11 +03:00
parent be81061895
commit ec56d76fb3
2 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
lib/compiler/syntactic_ast.ml
View File

@@ -7,12 +7,12 @@ open Containers
type symbol = string type symbol = string
(* These are just used for the GADT *) (* These are just used for the GADT *)
type expression type expression = Phantom_expr
type definition type definition = Phantom_def
type clause (* for cond *) type clause = Phantom_clause (* for cond *)
type binding (* for let *) type binding = Phantom_binding(* for let *)
type lambda_list type lambda_list = Phantom_lambda_list
type body type body = Phantom_body
type _ t = type _ t =
(* Literals *) (* Literals *)

12
lib/compiler/syntactic_ast.mli
View File

@@ -1,12 +1,12 @@
type symbol = string type symbol = string
(* These are just used for the GADT *) (* These are just used for the GADT *)
type expression type expression = Phantom_expr
type definition type definition = Phantom_def
type clause (* for cond *) type clause = Phantom_clause (* for cond *)
type binding (* for let *) type binding = Phantom_binding(* for let *)
type lambda_list type lambda_list = Phantom_lambda_list
type body type body = Phantom_body
type _ t = type _ t =
(* Literals *) (* Literals *)