diff options
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 5412053e8..bd67f29bc 100644 --- a/src/compiler/GFI.hs +++ b/src/compiler/GFI.hs @@ -333,7 +333,7 @@ checkComputeTerm' new sgr t = do ((t,_),_) <- runCheck $ do t <- renameSourceTerm sgr mo t inferLType sgr [] t t1 <- if new - then return (CN.normalForm (CN.resourceValues sgr) (L NoLoc IW) t) + then return (CN.normalForm (CN.resourceValues sgr) (L NoLoc identW) t) else computeConcrete sgr t checkPredefError sgr t1 |