type inference - Tuple2 mistakenly inferred as Product in recursive Scala function -

-

i've got function create combinations list of tuple2[char,int].

however when make recursive call on compile error, tuple inferred product.

why , how can compile?

here's code samples

this compiles ok:-

welcome scala version 2.10.1 (openjdk 64-bit server vm, java 1.7.0_17). type in expressions have them evaluated. type :help more information.  scala> def combos(a: list[(char,int)]): list[list[(char,int)]] = {      |     if(a.isempty) list(list()) else {      |       {      |         for{      |           x <- 0 a.length      |           (char,num) <- take x      |           rest = drop x      |           less <- num 1 -1                 |         } yield (char,less) :: rest      |       } tolist      |     }      |   } warning: there 1 feature warning(s); re-run -feature details combos: (a: list[(char, int)])list[list[(char, int)]]

but recursive 1 fails.. see error @ bottom

welcome scala version 2.10.1 (openjdk 64-bit server vm, java 1.7.0_17). type in expressions have them evaluated. type :help more information.  scala> def combos(a: list[(char,int)]): list[list[(char,int)]] = {      |     if(a.isempty) list(list()) else {      |       {      |         for{      |           x <- 0 a.length      |           (char,num) <- take x      |           rest = combos(a drop x)      |           less <- num 1 -1                |         } yield (char,less) :: rest      |       } tolist       |     }      |   } <console>:17: error: type mismatch;  found   : list[list[product]]  required: list[list[(char, int)]]              } tolist                ^

thanks in advance.

the type of rest (the result of combos) list[list[(char,int)]] , you're appending (char,int) common inferred type product. maybe meant rest <- combos(a drop x) ?


Comments

Post a Comment

Popular posts from this blog

java - Jmockit String final length method mocking Issue -

-
using jmockit 1.2 jar, trying mock string's length method getting unexpected invocation exception: failed: test java.lang.illegalstateexception: missing invocation mocked type @ point; please make sure such invocations appear after declaration of suitable mock field or parameter @ stringdemo.testa$1.<init>(testa.java:17) @ stringdemo.testa.test(testa.java:13) i using testng: @test public void test() throws exception { new expectations() { @mocked("length") string astring; { astring.length(); result = 2; } }; system.out.println(a.showa("test")); } } actual class a: public class { public static int showa(string str){ int a= str.length(); return a; } } this wrong way of recording expected results. shouldn't mock , record string's length() method, record showa() instead. here solution @suppresswarnings("unused...
Read more

What is the difference between data design and data model(ERD) -

-
i have google question , find answer in day. know, data design many many table have list column,and mark pk , fk. why er-diagram have find this? data design process of designing database. main output of data design detailed logical data model of database. some people data design includes of needed logical , physical design choices , physical storage parameters needed generate design in data definition language. technically, database analysis, database analysts (dbas) trained do. while person can both data design , database analysis, these 2 different tasks. data design models data. database analysis takes model , applies 1 or more database engines (relational, hierarchical, nosql). a logical data model 1 of main outputs of data design. data model represented entity relationship diagram, or er diagram.
Read more

ios - Can NSManagedObject conform to NSCoding -

-
i need transfer single object across device. right converting nsmanagedobject dictionary , archiving , sending nsdata. upon receiving unarchiving it. transfer nsmanagedobject archiving , unarchiving instead of creating intermediate data object. @interface test : nsmanagedobject<nscoding> @property (nonatomic, retain) nsstring * title; @end @implementation test @dynamic title; - (id)initwithcoder:(nscoder *)coder { self = [super init]; if (self) { self.title = [coder decodeobjectforkey:@"title"]; //<crash } return self; } - (void)encodewithcoder:(nscoder *)coder { [coder encodeobject:self.title forkey:@"title"]; } @end nsdata *archivedobjects = [nskeyedarchiver archiveddatawithrootobject:testobj]; nsdata *objectsdata = archivedobjects; if ([objectsdata length] > 0) { nsarray *objects = [nskeyedunarchiver unarchiveobjectwithdata:objectsdata]; } the problem above code is. crashes @ self.title in initwithcoder sa...
Read more