jyapayne/Nim
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

close #17636 (#17643)

Browse source
This commit is contained in:
flywind 2021-04-06 22:20:01 +08:00 • committed by GitHub
commit 7bfb9f0002
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
16 changed files with 60 additions and 75 deletions
Download patch file Download diff file Expand all files Collapse all files

86
tests/concepts/texplain.nim
View file

@ -1,45 +1,45 @@
discard """
cmd: "nim c --verbosity:0 --colors:off $file"
nimout: '''
texplain.nim(164, 10) Hint: Non-matching candidates for e(y)
texplain.nim(162, 10) Hint: Non-matching candidates for e(y)
proc e(i: int): int
first type mismatch at position: 1
required type for i: int
but expression 'y' is of type: MatchingType
texplain.nim(167, 7) Hint: Non-matching candidates for e(10)
texplain.nim(165, 7) Hint: Non-matching candidates for e(10)
proc e(o: ExplainedConcept): int
first type mismatch at position: 1
required type for o: ExplainedConcept
but expression '10' is of type: int literal(10)
texplain.nim(130, 6) ExplainedConcept: undeclared field: 'foo'
texplain.nim(130, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(130, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(130, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(130, 5) ExplainedConcept: concept predicate failed
texplain.nim(131, 6) ExplainedConcept: undeclared field: 'bar'
texplain.nim(131, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(131, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(131, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(130, 5) ExplainedConcept: concept predicate failed
texplain.nim(128, 6) ExplainedConcept: undeclared field: 'foo'
texplain.nim(128, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(128, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(128, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(128, 5) ExplainedConcept: concept predicate failed
texplain.nim(129, 6) ExplainedConcept: undeclared field: 'bar'
texplain.nim(129, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(129, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(129, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(128, 5) ExplainedConcept: concept predicate failed
texplain.nim(170, 10) Hint: Non-matching candidates for e(10)
texplain.nim(168, 10) Hint: Non-matching candidates for e(10)
proc e(o: ExplainedConcept): int
first type mismatch at position: 1
required type for o: ExplainedConcept
but expression '10' is of type: int literal(10)
texplain.nim(130, 6) ExplainedConcept: undeclared field: 'foo'
texplain.nim(130, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(130, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(130, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(130, 5) ExplainedConcept: concept predicate failed
texplain.nim(131, 6) ExplainedConcept: undeclared field: 'bar'
texplain.nim(131, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(131, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(131, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(130, 5) ExplainedConcept: concept predicate failed
texplain.nim(128, 6) ExplainedConcept: undeclared field: 'foo'
texplain.nim(128, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(128, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(128, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(128, 5) ExplainedConcept: concept predicate failed
texplain.nim(129, 6) ExplainedConcept: undeclared field: 'bar'
texplain.nim(129, 6) ExplainedConcept: undeclared field: '.'
texplain.nim(129, 6) ExplainedConcept: expression '.' cannot be called
texplain.nim(129, 6) ExplainedConcept: expression '' has no type (or is ambiguous)
texplain.nim(128, 5) ExplainedConcept: concept predicate failed
texplain.nim(174, 20) Error: type mismatch: got <NonMatchingType>
texplain.nim(172, 20) Error: type mismatch: got <NonMatchingType>
but expected one of:
proc e(i: int): int
first type mismatch at position: 1
@ -49,11 +49,11 @@ proc e(o: ExplainedConcept): int
first type mismatch at position: 1
required type for o: ExplainedConcept
but expression 'n' is of type: NonMatchingType
texplain.nim(174, 9) template/generic instantiation of `assert` from here
texplain.nim(130, 5) ExplainedConcept: concept predicate failed
texplain.nim(172, 9) template/generic instantiation of `assert` from here
texplain.nim(128, 5) ExplainedConcept: concept predicate failed
expression: e(n)
texplain.nim(175, 20) Error: type mismatch: got <NonMatchingType>
texplain.nim(173, 20) Error: type mismatch: got <NonMatchingType>
but expected one of:
proc r(i: string): int
first type mismatch at position: 1
@ -63,15 +63,15 @@ proc r(o: RegularConcept): int
first type mismatch at position: 1
required type for o: RegularConcept
but expression 'n' is of type: NonMatchingType
texplain.nim(175, 9) template/generic instantiation of `assert` from here
texplain.nim(134, 5) RegularConcept: concept predicate failed
texplain.nim(173, 9) template/generic instantiation of `assert` from here
texplain.nim(132, 5) RegularConcept: concept predicate failed
proc r[T](a: SomeNumber; b: T; c: auto)
first type mismatch at position: 1
required type for a: SomeNumber
but expression 'n' is of type: NonMatchingType
expression: r(n)
texplain.nim(176, 20) Hint: Non-matching candidates for r(y)
texplain.nim(174, 20) Hint: Non-matching candidates for r(y)
proc r(i: string): int
first type mismatch at position: 1
required type for i: string
@ -81,28 +81,26 @@ proc r[T](a: SomeNumber; b: T; c: auto)
required type for a: SomeNumber
but expression 'y' is of type: MatchingType
texplain.nim(184, 2) Error: type mismatch: got <MatchingType>
texplain.nim(182, 2) Error: type mismatch: got <MatchingType>
but expected one of:
proc f(o: NestedConcept)
first type mismatch at position: 1
required type for o: NestedConcept
but expression 'y' is of type: MatchingType
texplain.nim(134, 6) RegularConcept: undeclared field: 'foo'
texplain.nim(134, 6) RegularConcept: undeclared field: '.'
texplain.nim(134, 6) RegularConcept: expression '.' cannot be called
texplain.nim(134, 6) RegularConcept: expression '' has no type (or is ambiguous)
texplain.nim(134, 5) RegularConcept: concept predicate failed
texplain.nim(135, 6) RegularConcept: undeclared field: 'bar'
texplain.nim(135, 6) RegularConcept: undeclared field: '.'
texplain.nim(135, 6) RegularConcept: expression '.' cannot be called
texplain.nim(135, 6) RegularConcept: expression '' has no type (or is ambiguous)
texplain.nim(134, 5) RegularConcept: concept predicate failed
texplain.nim(138, 5) NestedConcept: concept predicate failed
texplain.nim(132, 6) RegularConcept: undeclared field: 'foo'
texplain.nim(132, 6) RegularConcept: undeclared field: '.'
texplain.nim(132, 6) RegularConcept: expression '.' cannot be called
texplain.nim(132, 6) RegularConcept: expression '' has no type (or is ambiguous)
texplain.nim(132, 5) RegularConcept: concept predicate failed
texplain.nim(133, 6) RegularConcept: undeclared field: 'bar'
texplain.nim(133, 6) RegularConcept: undeclared field: '.'
texplain.nim(133, 6) RegularConcept: expression '.' cannot be called
texplain.nim(133, 6) RegularConcept: expression '' has no type (or is ambiguous)
texplain.nim(132, 5) RegularConcept: concept predicate failed
texplain.nim(136, 5) NestedConcept: concept predicate failed
expression: f(y)'''
errormsg: "type mismatch: got <MatchingType>"
line: 184
"""

3
tests/concepts/twrapconcept.nim
View file

@ -1,7 +1,6 @@
discard """
errormsg: "type mismatch: got <string>"
line: 21
nimout: "twrapconcept.nim(11, 5) Foo: concept predicate failed"
nimout: "twrapconcept.nim(10, 5) Foo: concept predicate failed"
"""
# https://github.com/nim-lang/Nim/issues/5127