From 6608fcc60f2a47983eac28d878f090522976a20a Mon Sep 17 00:00:00 2001 From: Clay Sweetser Date: Mon, 26 May 2014 10:12:46 -0400 Subject: Update 'isCastable' and 'semCast' doc-comments --- compiler/semexprs.nim | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/compiler/semexprs.nim b/compiler/semexprs.nim index 9ea93a15e..b7b5b30ce 100644 --- a/compiler/semexprs.nim +++ b/compiler/semexprs.nim @@ -176,13 +176,16 @@ proc checkConvertible(c: PContext, castDest, src: PType): TConvStatus = else: discard -proc isCastable(dst, src: PType): bool = +proc isCastable(dst, src: PType): bool = + ## Checks whether the source type can be casted to the destination type. + ## Casting is very unrestrictive; casts are allowed as long as + ## castDest.size >= src.size, and typeAllowed(dst, skParam) #const # castableTypeKinds = {tyInt, tyPtr, tyRef, tyCstring, tyString, # tySequence, tyPointer, tyNil, tyOpenArray, # tyProc, tySet, tyEnum, tyBool, tyChar} var ds, ss: BiggestInt - # this is very unrestrictive; cast is allowed if castDest.size >= src.size + ds = computeSize(dst) ss = computeSize(src) if ds < 0: @@ -254,6 +257,7 @@ proc semConv(c: PContext, n: PNode): PNode = localError(n.info, errUseQualifier, op.sons[0].sym.name.s) proc semCast(c: PContext, n: PNode): PNode = + ## Semantically analyze a casting ("cast[type](param)") if optSafeCode in gGlobalOptions: localError(n.info, errCastNotInSafeMode) #incl(c.p.owner.flags, sfSideEffect) checkSonsLen(n, 2) -- cgit 1.4.1-2-gfad0