diff options
| author | Son Ho | 2021-12-03 17:57:35 +0100 |
|---|---|---|
| committer | Son Ho | 2021-12-03 17:57:35 +0100 |
| commit | f9cb706ceef4e1e344a40e21da01ca9539e634bf (patch) | |
| tree | 46e1982172c8f78529a52788367116e7ce3e3b32 /src | |
| parent | c467e111fdbe2d7b051be2eacdbe17a8200b1489 (diff) | |
Add a comment
Diffstat (limited to 'src')
| -rw-r--r-- | src/Values.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Values.ml b/src/Values.ml index 804d7580..7c7f6d1a 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -110,6 +110,7 @@ and ('r, 'sv, 'bc, 'lc) g_typed_value = { variety = "iter"; ancestors = [ "iter_'r_ty_base" ]; polymorphic = true; + (* Heirs expect a polymorphic class *) concrete = true; }] |