X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FId.lhs;h=b7aeb45cd4512e54a6e74e84d5ed8c13360e0c29;hb=c43c981705ec33da92a9ce91eb90f2ecf00be9fe;hp=2f5e93c428758c16d23595663116a80395419134;hpb=4bc25e8c30559b7a6a87b39afcc79340ae778788;p=ghc-hetmet.git diff --git a/compiler/basicTypes/Id.lhs b/compiler/basicTypes/Id.lhs index 2f5e93c..b7aeb45 100644 --- a/compiler/basicTypes/Id.lhs +++ b/compiler/basicTypes/Id.lhs @@ -49,7 +49,7 @@ module Id ( isImplicitId, isDeadBinder, isDictId, isStrictId, isExportedId, isLocalId, isGlobalId, isRecordSelector, isNaughtyRecordSelector, - isClassOpId_maybe, + isClassOpId_maybe, isDFunId, isPrimOpId, isPrimOpId_maybe, isFCallId, isFCallId_maybe, isDataConWorkId, isDataConWorkId_maybe, isDataConId_maybe, idDataCon, @@ -126,7 +126,6 @@ import Module import Class import PrimOp import ForeignCall -import OccName import Maybes import SrcLoc import Outputable @@ -327,6 +326,7 @@ isNaughtyRecordSelector :: Id -> Bool isPrimOpId :: Id -> Bool isFCallId :: Id -> Bool isDataConWorkId :: Id -> Bool +isDFunId :: Id -> Bool isClassOpId_maybe :: Id -> Maybe Class isPrimOpId_maybe :: Id -> Maybe PrimOp @@ -349,6 +349,10 @@ isPrimOpId id = case Var.idDetails id of PrimOpId _ -> True _ -> False +isDFunId id = case Var.idDetails id of + DFunId -> True + _ -> False + isPrimOpId_maybe id = case Var.idDetails id of PrimOpId op -> Just op _ -> Nothing