nitlanguage / nit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6232607) | patch
contracts: Change mpropdef driving
authorFlorian Deljarry <deljarry.florian@gmail.com>
Tue, 8 Oct 2019 14:56:34 +0000 (10:56 -0400)
committerFlorian Deljarry <deljarry.florian@gmail.com>
Wed, 9 Oct 2019 12:35:03 +0000 (08:35 -0400)
commita5711e8acd9ff125f76288f5da61dd582a465519
tree9a701508c370157c679ba9bf75c3b8fc58216faftree | snapshot
parent62326077de6c27c78714c75b3325c293a4a5339ecommit | diff
contracts: Change mpropdef driving

The driving strategy was changed to resolve the problem when the static type has no contract and the dynamic has one.

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>
src/contracts.nit diff | blob | history
Nit language project; an oo programing language and its tool suite.