diff options
| author | krasimir <krasimir@chalmers.se> | 2010-11-12 19:37:19 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-11-12 19:37:19 +0000 |
| commit | 115b4213d515ce308568fd71e362f6ce2881fb50 (patch) | |
| tree | 246d76b05654b88d11bbfaf23dd67beb02dde21f /src/runtime | |
| parent | b46442ab0b50fe58417b85d34a97a16e7b06de05 (diff) | |
operations in the abstract syntax
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/haskell/PGF/Generate.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/runtime/haskell/PGF/Generate.hs b/src/runtime/haskell/PGF/Generate.hs index f33ee10eb..408dcc590 100644 --- a/src/runtime/haskell/PGF/Generate.hs +++ b/src/runtime/haskell/PGF/Generate.hs @@ -86,7 +86,6 @@ prove dp scope (TTyp env1 (DTyp hypos1 cat es1)) = do vs1 <- mapM (PGF.TypeCheck.eval env1) es1 let scope' = exScope scope env1 hypos1 (fe,TTyp env2 (DTyp hypos2 _ es2)) <- select cat scope' dp - if fe == EFun (mkCId "plus") then mzero else return () case dp of Just 0 | not (null hypos2) -> mzero _ -> return () |