fix neutral radical application

msp-strath · Nov 25, 2024 · d022093 · d022093
1 parent 698d59e
commit d022093
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/Language/Ask/Typing.hs b/lib/Language/Ask/Typing.hs
@@ -101,6 +101,7 @@ hnfSyn' (t ::: ty) = do
   return (t ::: ty)
 hnfSyn' (f :$ s) = hnfSyn f >>= \case
   (TB b ::: TC "->" [dom, ran]) -> return ((b // (s ::: dom)) ::: ran)
+  (TE e ::: _) -> return (e :$ s)
   f -> return (f :$ s)
 hnfSyn' e | track ("HNFSYN " ++ show e) True = return e