Union type subtyping in Scala -

-

i can following dotty: 

trait ex {type t <: int | seq[int]; def f:t}  trait ex2 extends ex {override type t = seq[int]; override def f = seq(2)}  trait ex3 extends ex {override type t = int; override def f = 2}

how can union type subtyping without dotty?

the simple solution upper bound type:

trait ex {type t >: int seq[int]; def f:t}  trait ex2 extends ex {override type t = seq[int]; override def f = seq(2)}  trait ex3 extends ex {override type t = int; override def f = 2}

Comments

Post a Comment

Popular posts from this blog

ios - Is 'init' forbidden as *part* of a variable name? -

-
i spent 3 hours debugging error , in end narrowed down (i think) variable name. i using initmonths (initial months) caused unpredicatable errors when changed imonths worked! i can understand preventing use of init on it's own surprised if prevented part of variable name. bug or feature? it's not bug if it's related name being overlap. there's part of arc used know when retain counts should updated, , may running that. similar rules apply use new @ start of names (for same reason). it's easy , wise steer clear of using init @ start of names unless it's init function. i can imagine issue related arc getting involved shouldn't , takes while called shouldn't, weird. i expect issue else , name change had other effect. worst case means have memory issue , changing name has changed memory footprint of code you've moved bug somewhere else (or along lines).
Read more

file - Python: AttributeError: 'str' object has no attribute 'readlines' -

-
i trying copy text mobilebuildsettings , use replace text abproject . getting following error , don't understand it. attributeerror: 'str' object has no attribute 'readlines' below code: with open("c:/abproject.build", "r+") script, open ("c:/tempfile.build","w+") newscript: abproject = ("c:/abproject.build") line in abproject.readlines(): if line == "@appidentifier@" : newabproject.write('"' + "appidentifier : " + '"' + appidentifier.get() + '"' + "\n") else: newabproject.write(line) abproject.close() newabproject.close() os.remove("abproject.txt") os.remove("tempfile.buil","abproject.txt") in order give answer jill1993's question , take moseskoledoye's answer : abproject = ("c:/abproject.build") abproject string object. furthermore, write : with open...
Read more

c# - Get the Class name in a class with atribute inside a attribute method -

-
i'm doing custom authorize attribute. want use attribute in class , controller level. this code work on method level public class customauthorizeattribute : authorizeattribute { public customauthorizeattribute([callermembername] string callername = null) { callername = callername; } public string callername { get; set; } protected override bool authorizecore(httpcontextbase httpcontext) { if (httpcontext.user.isinrole("admin")) return true; ... if (callername == something) { } ... return base.authorizecore(httpcontext); } } like that [customauthorize()] public actionresult index() { return view(); } but want use globally in controller [customauthorize()] public class usuarioscontroller : controller { salusdbcontext db = new salusdbcontext(); // get: usuarios public actionresult index() { ...
Read more