diff options
| author | hallgren <hallgren@chalmers.se> | 2012-12-14 14:00:21 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-12-14 14:00:21 +0000 |
| commit | d7e3c869c2ae56141260d4576b439097e8271383 (patch) | |
| tree | 0cb042a0289cb3eac2fa6e5cf87b06894d4f628b /src/compiler/GF/Compile/CheckGrammar.hs | |
| parent | f7a5eb0df10f3cfef6e3d4c70c4714008c50bbe8 (diff) | |
More work on the new partial evaluator
The work done by the partial evaluator is now divied in two stages:
- A static "term traversal" stage that happens only once per term and uses
only statically known information. In particular, the values of lambda bound
variables are unknown during this stage. Some tables are transformed to
reduce the cost of pattern matching.
- A dynamic "function application" stage, where function bodies can be
evaluated repeatedly with different arguments, without the term traversal
overhead and without recomputing statically known information.
Also the treatment of predefined functions has been reworked to take advantage
of the staging and better handle partial applications.
Diffstat (limited to 'src/compiler/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/compiler/GF/Compile/CheckGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/CheckGrammar.hs b/src/compiler/GF/Compile/CheckGrammar.hs index c628b7c83..57a644093 100644 --- a/src/compiler/GF/Compile/CheckGrammar.hs +++ b/src/compiler/GF/Compile/CheckGrammar.hs @@ -218,7 +218,7 @@ checkInfo opts sgr (m,mo) c info = do (Just (L loct ty), Just (L locd de)) -> do ty' <- chIn loct "operation" $ (if False --flag optNewComp opts - then CN.checkLType gr ty typeType >>= return . CN.normalForm (CN.resourceValues gr) . fst -- !! + then CN.checkLType gr ty typeType >>= return . CN.normalForm (CN.resourceValues gr) (L loct c) . fst -- !! else checkLType gr [] ty typeType >>= computeLType gr [] . fst) (de',_) <- chIn locd "operation" $ (if False -- flag optNewComp opts |