X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=CoreTools.hs;h=0297f90435c02000cb7b75d0ae0b4ff9833a7484;hb=8153abb4f08f21e097eca9bd38fa6155675be40b;hp=33a4a62a3ab0368e895ba5b0d39cb2776bf4a5b3;hpb=9eebebd95cbf192b0e0cf50e7266df26b20942aa;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git a/CoreTools.hs b/CoreTools.hs index 33a4a62..0297f90 100644 --- a/CoreTools.hs +++ b/CoreTools.hs @@ -98,7 +98,7 @@ tfvec_len ty = where args = case Type.splitTyConApp_maybe ty of Just (tycon, args) -> args - Nothing -> error $ "CoreTools.tfvec_len Not a vector type: " ++ (pprString ty) + Nothing -> error $ "\nCoreTools.tfvec_len: Not a vector type: " ++ (pprString ty) [len, el_ty] = args -- | Get the element type of a TFVec type @@ -107,7 +107,7 @@ tfvec_elem ty = el_ty where args = case Type.splitTyConApp_maybe ty of Just (tycon, args) -> args - Nothing -> error $ "CoreTools.tfvec_len Not a vector type: " ++ (pprString ty) + Nothing -> error $ "\nCoreTools.tfvec_len: Not a vector type: " ++ (pprString ty) [len, el_ty] = args -- Is this a wild binder? @@ -165,7 +165,7 @@ has_free_vars = not . VarSet.isEmptyVarSet . CoreFVs.exprFreeVars -- simple Var CoreExprs, not complexer ones. exprToVar :: CoreSyn.CoreExpr -> Var.Id exprToVar (CoreSyn.Var id) = id -exprToVar expr = error $ "CoreTools.exprToVar Not a var: " ++ show expr +exprToVar expr = error $ "\nCoreTools.exprToVar: Not a var: " ++ show expr -- Removes all the type and dictionary arguments from the given argument list, -- leaving only the normal value arguments. The type given is the type of the