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

Reference types with import #5

Closed
MeAmAnUsername opened this issue Jun 24, 2020 · 3 comments · Fixed by metaborg/pie#6
Closed

Reference types with import #5

MeAmAnUsername opened this issue Jun 24, 2020 · 3 comments · Fixed by metaborg/pie#6
Assignees
Labels
Component: DSL Something that concerns the design of PIE DSL Priority: high Status: done Type: enhancement New feature or request

Comments

@MeAmAnUsername
Copy link
Owner

module foo

import bar

func fun() -> bar:someType = {
  bar:createSomeType()
}
@MeAmAnUsername MeAmAnUsername added Type: enhancement New feature or request Status: specified Enhancement that is ready to implement Component: DSL Something that concerns the design of PIE DSL Priority: high labels Jun 24, 2020
@MeAmAnUsername MeAmAnUsername self-assigned this Jun 24, 2020
@MeAmAnUsername
Copy link
Owner Author

Implemented in 98318d4

@MeAmAnUsername
Copy link
Owner Author

Still needs to be added to lang/trans/gen/java-ast/type.str

  p2j-ast-type-sig:
    ImportTy(_, occ) -> ClassType([], Id(javaClassId), None())
    where
      JavaTypeKind() := <pie-prop(|"Type", "kind")> occ
    ; <pie-prop(|"Type", "mods"); not(collect-one(?Transient()))> occ
    with
      javaClassId := <pie-prop(|"Type", "javaClassId")> occ

@MeAmAnUsername
Copy link
Owner Author

Code was added in latest commits

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Component: DSL Something that concerns the design of PIE DSL Priority: high Status: done Type: enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant