From 0cd9bdcf9f6802421e0d8e4c28fc732012af605e Mon Sep 17 00:00:00 2001 From: Bung Date: Sat, 10 Dec 2022 01:01:13 +0800 Subject: [PATCH] =?UTF-8?q?fix=20#15836=20proc=20arg=20return=20type=20aut?= =?UTF-8?q?o=20unexpectly=20match=20proc=20with=20concr=E2=80=A6=20(#21044?= =?UTF-8?q?)?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit fix #15836 proc arg return type auto unexpectly match proc with concrete type --- compiler/ast.nim | 3 +++ compiler/docgen.nim | 2 +- compiler/lookups.nim | 2 +- compiler/sem.nim | 4 ++-- compiler/semexprs.nim | 4 ++-- compiler/semstmts.nim | 3 +-- compiler/semtypes.nim | 4 +--- tests/proc/tillegalreturntype.nim | 2 +- tests/types/t15836.nim | 11 +++++++++++ 9 files changed, 23 insertions(+), 12 deletions(-) create mode 100644 tests/types/t15836.nim diff --git a/compiler/ast.nim b/compiler/ast.nim index 9679c10c12..198d21bead 100644 --- a/compiler/ast.nim +++ b/compiler/ast.nim @@ -2047,6 +2047,9 @@ template detailedInfo*(sym: PSym): string = proc isInlineIterator*(typ: PType): bool {.inline.} = typ.kind == tyProc and tfIterator in typ.flags and typ.callConv != ccClosure +proc isIterator*(typ: PType): bool {.inline.} = + typ.kind == tyProc and tfIterator in typ.flags + proc isClosureIterator*(typ: PType): bool {.inline.} = typ.kind == tyProc and tfIterator in typ.flags and typ.callConv == ccClosure diff --git a/compiler/docgen.nim b/compiler/docgen.nim index e2c04430c4..0a24d2e095 100644 --- a/compiler/docgen.nim +++ b/compiler/docgen.nim @@ -558,7 +558,7 @@ proc runAllExamples(d: PDoc) = proc quoted(a: string): string = result.addQuoted(a) -proc toInstantiationInfo(conf: ConfigRef, info: TLineInfo): auto = +proc toInstantiationInfo(conf: ConfigRef, info: TLineInfo): (string, int, int) = # xxx expose in compiler/lineinfos.nim (conf.toMsgFilename(info), info.line.int, info.col.int + ColOffset) diff --git a/compiler/lookups.nim b/compiler/lookups.nim index 2121982a65..df5a5333e9 100644 --- a/compiler/lookups.nim +++ b/compiler/lookups.nim @@ -422,7 +422,7 @@ type SpellCandidate = object msg: string sym: PSym -template toOrderTup(a: SpellCandidate): auto = +template toOrderTup(a: SpellCandidate): (int, int, string) = # `dist` is first, to favor nearby matches # `depth` is next, to favor nearby enclosing scopes among ties # `sym.name.s` is last, to make the list ordered and deterministic among ties diff --git a/compiler/sem.nim b/compiler/sem.nim index a1388bd877..1f8e217b33 100644 --- a/compiler/sem.nim +++ b/compiler/sem.nim @@ -81,7 +81,7 @@ template semIdeForTemplateOrGeneric(c: PContext; n: PNode; proc fitNodePostMatch(c: PContext, formal: PType, arg: PNode): PNode = let x = arg.skipConv if (x.kind == nkCurly and formal.kind == tySet and formal.base.kind != tyGenericParam) or - (x.kind in {nkPar, nkTupleConstr}) and formal.kind notin {tyUntyped, tyBuiltInTypeClass}: + (x.kind in {nkPar, nkTupleConstr}) and formal.kind notin {tyUntyped, tyBuiltInTypeClass, tyAnything}: changeType(c, x, formal, check=true) result = arg result = skipHiddenSubConv(result, c.graph, c.idgen) @@ -439,7 +439,7 @@ proc semAfterMacroCall(c: PContext, call, macroResult: PNode, # does not mean we expect a tyTypeDesc. retType = retType[0] case retType.kind - of tyUntyped: + of tyUntyped, tyAnything: # Not expecting a type here allows templates like in ``tmodulealias.in``. result = semExpr(c, result, flags, expectedType) of tyTyped: diff --git a/compiler/semexprs.nim b/compiler/semexprs.nim index 22a247cebd..a467c408a1 100644 --- a/compiler/semexprs.nim +++ b/compiler/semexprs.nim @@ -1913,8 +1913,8 @@ proc semProcBody(c: PContext, n: PNode; expectedType: PType = nil): PNode = else: localError(c.config, c.p.resultSym.info, errCannotInferReturnType % c.p.owner.name.s) - if isInlineIterator(c.p.owner.typ) and c.p.owner.typ[0] != nil and - c.p.owner.typ[0].kind == tyUntyped: + if isIterator(c.p.owner.typ) and c.p.owner.typ[0] != nil and + c.p.owner.typ[0].kind == tyAnything: localError(c.config, c.p.owner.info, errCannotInferReturnType % c.p.owner.name.s) closeScope(c) diff --git a/compiler/semstmts.nim b/compiler/semstmts.nim index a006013b80..d19d75611a 100644 --- a/compiler/semstmts.nim +++ b/compiler/semstmts.nim @@ -2179,8 +2179,7 @@ proc semProcAux(c: PContext, n: PNode, kind: TSymKind, if hasProto: localError(c.config, n.info, errImplOfXexpected % proto.name.s) if {sfImportc, sfBorrow, sfError} * s.flags == {} and s.magic == mNone: # this is a forward declaration and we're building the prototype - if s.kind in {skProc, skFunc} and s.typ[0] != nil and s.typ[0].kind == tyUntyped: - # `auto` is represented as `tyUntyped` at this point in compilation. + if s.kind in {skProc, skFunc} and s.typ[0] != nil and s.typ[0].kind == tyAnything: localError(c.config, n[paramsPos][0].info, "return type 'auto' cannot be used in forward declarations") incl(s.flags, sfForward) diff --git a/compiler/semtypes.nim b/compiler/semtypes.nim index 3eaf297556..dca0d753b7 100644 --- a/compiler/semtypes.nim +++ b/compiler/semtypes.nim @@ -1405,9 +1405,7 @@ proc semProcTypeNode(c: PContext, n, genericParams: PNode, "' is only valid for macros and templates") # 'auto' as a return type does not imply a generic: elif r.kind == tyAnything: - # 'p(): auto' and 'p(): untyped' are equivalent, but the rest of the - # compiler is hardly aware of 'auto': - r = newTypeS(tyUntyped, c) + discard elif r.kind == tyStatic: # type allowed should forbid this type discard diff --git a/tests/proc/tillegalreturntype.nim b/tests/proc/tillegalreturntype.nim index 799cad53a6..1076f7f75c 100644 --- a/tests/proc/tillegalreturntype.nim +++ b/tests/proc/tillegalreturntype.nim @@ -1,5 +1,5 @@ discard """ - cmd: "nim check $file" + cmd: "nim check --hints:off $file" errormsg: "" nimout: ''' tillegalreturntype.nim(11, 11) Error: return type 'typed' is only valid for macros and templates diff --git a/tests/types/t15836.nim b/tests/types/t15836.nim new file mode 100644 index 0000000000..9c0c26decf --- /dev/null +++ b/tests/types/t15836.nim @@ -0,0 +1,11 @@ +discard """ + errormsg: "type mismatch: got but expected 'int'" + line: 11 +""" + +proc takesProc[T](x: T, f: proc(x: T): int) = + echo f(x) + 2 + +takesProc(1, proc (a: int): int = 2) # ok, prints 4 +takesProc(1, proc (a: auto): auto = 2) # ok, prints 4 +takesProc(1, proc (a: auto): auto = "uh uh") # prints garbage