summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Compile/GeneratePMCFG.hs
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2015-03-04 18:20:16 +0000
committerhallgren <hallgren@chalmers.se>2015-03-04 18:20:16 +0000
commit854fec6d3a3a343a1aaec04dc4cbfcb6b51d4946 (patch)
treef6590c28c84e75b2cab499b6b4e482f5d11a5b19 /src/compiler/GF/Compile/GeneratePMCFG.hs
parent814c80124b9fc0540d73ac82ba1d2168224f24bf (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/Compile/GeneratePMCFG.hs')
0 files changed, 0 insertions, 0 deletions