-
Notifications
You must be signed in to change notification settings - Fork 16
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
Fix type system issues #1991
Fix type system issues #1991
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
No soy un experto en el type system pero todo parece tener perfecta validancia.
@@ -121,7 +128,7 @@ class ConstraintGenerator { | |||
// TODO Process supertype information: mixins | |||
parentParameters?.arguments?.forEach[generateVariables] | |||
members.forEach[generateVariables] | |||
if (parentParameters !== null) objectParentConstraintsGenerator.add(it) | |||
if(parentParameters !== null) objectParentConstraintsGenerator.add(it) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nooooo, ese espacio era lo más! 😆
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sí, a mí tmb me dolió, me di cuenta en Github 👎
@@ -31,7 +31,7 @@ class WollokCoreTypeDeclarations extends TypeDeclarations { | |||
O >> "shortDescription" === #[] => String; | |||
O >> "kindName" === #[] => String; | |||
O >> "className" === #[] => String; | |||
O >> "error" === #[String] => Void; | |||
O >> "error" === #[String] => THROW_EXCEPTION; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
👏🏼
@@ -121,7 +121,8 @@ class UnifyVariables extends AbstractInferenceStrategy { | |||
} | |||
} | |||
|
|||
def dispatch doUnifyWith(GenericTypeInfo t1, GenericTypeInfo t2) { | |||
def dispatch doUnifyWith(GenericTypeInfo t1, GenericTypeInfo t2) { | |||
t1.validateRecursiveType(t2) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
amo
Buenísimo @fdodino, ahora cuando termine el CI mergeo. Vengo trabajando en más cosas pero lo mando a otro PR para ir cerrando issues. |
Fix #1751
Fix #1958
Fix #1641
Fix #1965