Misc cleanup

Author: krame505

src/comp/IExpand.hs

@@ -2135,8 +2135,7 @@ evalStringList e = do
       -- We get primChr for Nil, since it's a no-argument constructor
       else if i == idPrimChr then return ([], getIExprPosition e')
       else internalError ("evalStringList con: " ++ show i)
-    _ -> do e'' <- unheapAll e'
-            eNoNF e''
+    _ -> nfError "evalStringList" e'
 
 -----------------------------------------------------------------------------
 

src/comp/TCheck.hs

@@ -2639,7 +2639,7 @@ tiExpl''' as0 i sc alts me (oqt@(oqs :=> ot), vts) = do
      -- Were any contexts without variables left unsatisfied?
      if not (null uds) then
         -- Report reduction errors
-        handleContextReduction (Just i) (getPosition i) uds
+        handleContextReduction Nothing (getPosition i) uds
      else
         -- No ambiguous variables, so...
         -- Produce the return values (deferred preds, CDefl)