diff options
| author | aarne <aarne@chalmers.se> | 2011-09-26 13:56:39 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-09-26 13:56:39 +0000 |
| commit | a83b6bea626c0f42879af662b90c587d56eb5df0 (patch) | |
| tree | b9e81960537a3b05d6d29d5523b71b6d7860e62c /src/compiler/GFI.hs | |
| parent | ff4929e25e49e771dd0355dd7f8809161f69e008 (diff) | |
don't count app nodes in term size
Diffstat (limited to 'src/compiler/GFI.hs')
| -rw-r--r-- | src/compiler/GFI.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/GFI.hs b/src/compiler/GFI.hs index d27a0b497..7017c920e 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -191,7 +191,7 @@ execute1 opts gfenv0 s0 = ops <- case xs of _:_ -> do let ts = [t | Right t <- map (runP pExp . encodeUnicode utf8) xs] - err error (return . nub . (ts ++) . concat) $ mapM (constantDepsTerm sgr) ts + err error (return . nub . concat) $ mapM (constantDepsTerm sgr) ts _ -> error "expected one or more qualified constants as argument" let prTerm = showTerm sgr TermPrintDefault Qualified let size = sizeConstant sgr |