-
Notifications
You must be signed in to change notification settings - Fork 6
Description
Because the code-snippet shown does not compile.
It gives the error:
Using Visual Studio at C:\Program Files (x86)\Microsoft Visual Studio\2019\Community\VC.
Running: java -cp C:\Vale\Valestrom.jar net.verdagon.vale.driver.Driver build -o build.vast open_interfaces2.vale
internal(-13337) Conflict in determining ordinary rules' runes: InferSolveFailure(Map(ImplicitRune2(CitizenTemplateName2(IShip,0:951),0) -> MutabilityTemplataType, CodeRune2(Functor0) -> CoordTemplataType, AnonymousSubstructParentInterfaceRune2() -> KindTemplataType),Map(),None,Inferences(Map(ImplicitRune2(CitizenTemplateName2(IShip,0:951),0) -> MutabilityTemplataType, CodeRune2(Functor0) -> CoordTemplataType, AnonymousSubstructParentInterfaceRune2() -> KindTemplataType),Map(ImplicitRune2(CitizenTemplateName2(IShip,0:951),0) -> MutabilityTemplata(Mutable), AnonymousSubstructParentInterfaceRune2() -> KindTemplata(InterfaceRef2(FullName2(List(),CitizenName2(IShip,List()))))),Map()),RangeS(CodeLocationS(-13337,0),CodeLocationS(-13337,0)),Not enough to solve! Couldn't figure out: Set(CodeRune2(Functor0)),List())
Perhaps then also the Roadmap should be adapted.