diff options
| author | Son Ho | 2023-08-02 11:46:09 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-02 11:46:09 +0200 |
| commit | 59ec03d37d2ad51cf77e456622703c4c84780f48 (patch) | |
| tree | 9ab1973f1632ec701d237ecef5b2229476f732c1 /compiler/SymbolicAst.ml | |
| parent | 9d27e2e27db06eaad7565b55366ca8734b364fca (diff) | |
Make progress
Diffstat (limited to '')
| -rw-r--r-- | compiler/SymbolicAst.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/SymbolicAst.ml b/compiler/SymbolicAst.ml index 0e68d2fd..787fefc7 100644 --- a/compiler/SymbolicAst.ml +++ b/compiler/SymbolicAst.ml @@ -43,7 +43,10 @@ type call = { borrows (we need to perform lookups). *) abstractions : V.AbstractionId.id list; + (* TODO: rename to "...args" *) type_params : T.ety list; + (* TODO: rename to "...args" *) + const_generic_params : T.const_generic list; args : V.typed_value list; args_places : mplace option list; (** Meta information *) dest : V.symbolic_value; |