code cleanup

This commit is contained in:
Krasimir Angelov
2021-12-28 13:38:19 +01:00
parent c9b90a509c
commit 16b0eea568
7 changed files with 3 additions and 19 deletions

View File

@@ -255,7 +255,7 @@ checkComputeTerm os sgr t =
do mo <- maybe (checkError (pp "no source grammar in scope")) return $
greatestResource sgr
t <- renameSourceTerm sgr mo t
(t,_) <- inferLType sgr [] t
(t,_) <- inferLType sgr [] t
fmap evalStr (normalForm sgr t)
where
-- ** Try to compute pre{...} tokens in token sequences