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.

Sign up for GitHub

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

Jump to bottom

disallow overloading in general #39

Closed
2 tasks done
ppaulweber opened this issue Sep 29, 2017 · 1 comment
Closed
2 tasks done

disallow overloading in general #39

ppaulweber opened this issue Sep 29, 2017 · 1 comment
Assignees
@ppaulweber
Labels
grammar libcasm-fe libcasm-tc
Milestone
0.1.0-auxentios

Comments

@ppaulweber
Copy link
Contributor

ppaulweber commented Sep 29, 2017 •
edited
Loading

  • fix all calls like asString( x ) to x.asString() so that we can later integrate smoothly the the feature concept (aka. trait) from struct/module/class concept  #35
  • remove the overloading hack from the type inference pass, especially the as<Type>() casting utility

no overloading shall be implemented, because through the #35 features (aka. traits) we can make generic type inference pass implementation and the type inference can resolve the e.g. references of built-ins, functions etc., because the symbol of overloaded identifiers cannot be resolved

➡️ NO OVERLOADING OF TYPE SIGNATURES AND NUMBER OF PARAMETERS ❗
@ppaulweber ppaulweber added this to the release_auxentios milestone Sep 29, 2017
@ppaulweber ppaulweber assigned ppaulweber and unassigned emmanuel099 Nov 7, 2017
@ppaulweber ppaulweber removed the casm label Nov 7, 2017
This was referenced Nov 7, 2017
Closed
Closed
@ppaulweber
Copy link
Contributor Author

related to #49

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ppaulweber ppaulweber

Labels
grammar libcasm-fe libcasm-tc
Projects
None yet
Milestone
0.1.0-auxentios
Development

No branches or pull requests
2 participants
@emmanuel099 @ppaulweber