Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat[ux]: compile .vyi files #4290

Open
wants to merge 27 commits into
base: master
Choose a base branch
from

Conversation

sandbubbles
Copy link
Collaborator

What I did

Allowed compiling ".vyi" files with ast,annotated_ast,interface,external_interface,abi flags.
#4232

How I did it

How to verify it

Commit message

Commit message for the final, squashed PR. (Optional, but reviewers will appreciate it! Please see our commit message style guide for what we would ideally like to see in a commit message.)

Description for the changelog

Cute Animal Picture

Put a link to a cute animal picture inside the parenthesis-->

@charles-cooper charles-cooper changed the title feat[ux]: compile solely vyi feat[ux]: compile .vyi files Oct 15, 2024
@charles-cooper
Copy link
Member

looking good to me. @cyberthirst can you take a look?

@cyberthirst
Copy link
Collaborator

bit unrelated, but if an interface implements other interface and doesn't implement all the methods, we get the following exception:

vyper.exceptions.InterfaceViolation: Contract does not implement all interface functions: foobar()

Contract does not implement.. although it can be triggered via eg vyper -f abi i.vyi

@cyberthirst
Copy link
Collaborator

-f interface doesn't include Flags. is it intended?

@charles-cooper
Copy link
Member

-f interface doesn't include Flags. is it intended?

Not intended. May be the order in which we merged flag and -f interfave PRs

@cyberthirst
Copy link
Collaborator

shouldn't -f interface be basically an identity when called on interface files?

import ITest2

implements: ITest2

def bar() -> uint256:
    ...

def foo() -> uint8:
    ...


def foobar() -> uint8:
    ...

outputs:

# Functions

@external
def bar() -> uint256:
    ...


@external
def foo() -> uint8:
    ...


@external
def foobar() -> uint8:
    ...

ie implements is lost in the translation

@cyberthirst
Copy link
Collaborator

shouldn't -f interface be basically an identity when called on interface files?

import ITest2

implements: ITest2

def bar() -> uint256:
    ...

def foo() -> uint8:
    ...


def foobar() -> uint8:
    ...

outputs:

# Functions

@external
def bar() -> uint256:
    ...


@external
def foo() -> uint8:
    ...


@external
def foobar() -> uint8:
    ...

ie implements is lost in the translation

also, if ITest2.vyi contains a struct (or flag), then those don't propagate for -f interface - not sure whether that's intentional


"""
file = make_file("interface.vyi", interface)
compile_files([file], ["ast", "annotated_ast", "interface", "external_interface", "abi"])
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

would it make sense to use this here? https://github.com/vyperlang/vyper/pull/4290/files#diff-d428d4c971c9f7166899f6f2d3da5e17ca4478d8d371d803e735d6ee36b39d30R49

so we don't have to maintain the list on 2 places

@cyberthirst
Copy link
Collaborator

 vyper -f external_interface tests/custom/ITest.vyi

# External Interfaces
interface Itest:
    def bar() -> uint256: nonpayable
    def foo() -> uint8: nonpayable
    def foobar() -> uint8: nonpayable

name discrepancy - Itest vs ITest

@charles-cooper
Copy link
Member

this looks ok to me. @cyberthirst what did we decide about the -f interface behavior here?

@charles-cooper
Copy link
Member

i think for -f interface we should not require it to be the identity. it should spit out something that is more or less independent from the file's codebase/context.

but it's not that important. if we can't reach consensus, we can always block the behavior.

@cyberthirst
Copy link
Collaborator

# test__interface.vyi

@external
def foo():
    ...

-f external_interface

IndexError: string index out of range
Error compiling: tests/custom/test__interface.vyi

should crash on name = "".join([x[0].upper() + x[1:] for x in stem.split("_")])

@cyberthirst
Copy link
Collaborator

i think for -f interface we should not require it to be the identity. it should spit out something that is more or less independent from the file's codebase/context.

but it's not that important. if we can't reach consensus, we can always block the behavior.

yeah this sounds reasonable, i was reporting rather for completness

@cyberthirst
Copy link
Collaborator

say we have

flag Foo:
    Blah

@external
def foo() -> Foo:
    ...

then with -f external_interface we'd get:

# External Interfaces
interface Ifile:
    def foo() -> flag Foo('Blah'): nonpayable

which is not valid syntax, is that intentional?

@cyberthirst
Copy link
Collaborator

we can import stateful modules to the vyi files and eg call initializes on them:

# ifile.vyi
import test

initializes: test

@external
def foo(a: test.Foo) -> test.Foo:
    ...
# test.vy

c: uint256

flag Foo:
    Blah

@external
def foo() -> Foo:
    return Foo.Blah

works eg with -f annotated_ast

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants