diff options
| author | hallgren <hallgren@chalmers.se> | 2015-03-04 18:20:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-03-04 18:20:16 +0000 |
| commit | 854fec6d3a3a343a1aaec04dc4cbfcb6b51d4946 (patch) | |
| tree | f6590c28c84e75b2cab499b6b4e482f5d11a5b19 /src/compiler/GF/Command | |
| parent | 814c80124b9fc0540d73ac82ba1d2168224f24bf (diff) | |
GF.Compile.Compute.ConcreteNew: add dynamic table conversion
If the enumaration of table parameter values fails during the static
traversal phase, try again in the dynamic computation phase, when the values
of bound variables are known.
This is necessary to properly deal with generic table construction in opers,
like the ones found in prelude/Coordination.gf, e.g.
consTable : (P : PType) -> ... = \P ... -> {s1 = table P {...} ; ... }
Diffstat (limited to 'src/compiler/GF/Command')
0 files changed, 0 insertions, 0 deletions
