signature files - F# denies existence of a constructor (probably type-constraint related) -

-

on following code, f sharp says: module xyz requires value new : (iblah<'a> * 'b) -> test<'a, 'b>')

i have tried supplying exact constructor explicit new did not seem help, though intellisense though type same. expect have somehow got constraints wrong. please tell me change code compiles (without removing constraints)? many thanks.

first fsi file:

module xyz  type iblah<'a> =     abstract : 'a -> 'a  type ihuha =     abstract : unit -> unit  type test<'a, 'b when 'a :> ihuha , 'b : comparison> =     new : (iblah<'a> * 'b) -> test<'a, 'b>     member huha : unit -> unit

the fs file is:

module xyz  type iblah<'a> =     abstract : 'a -> 'a  type ihuha =     abstract : unit -> unit  type test<'a, 'b when 'a :> ihuha , 'b : comparison> (x:iblah<'a>, y:'b) =      member x.huha () = printf "%o" x

the problem signature file describing constructor takes single value of type tuple 

(iblah<'a> * 'b)

the actual constructor though takes 2 values of type iblah<'a> , 'b. speculating .fs implementation 1 want. if remove parens .fsi file 

new : iblah<'a> * 'b -> test<'a, 'b>

Comments

Post a Comment

Popular posts from this blog

java - WrongTypeOfReturnValue exception thrown when unit testing using mockito -

-
my test list<person> mylist; @test public void testisvalidperson() { mylist = new arraylist<person>(); mylist.add(new person("tom")); when(persondao.get(person)).thenreturn(mylist); when((persondao.get(person)).isempty()).thenreturn(false);//------exception thrown boolean result = service.isvalid("tom"); assertfalse(result); } method tested: public boolean isvalid(string person){ persondao = new persondao(); person personobj = new person(person); return (persondao.get(person).isempty())?false : true; } exception thrown: org.mockito.exceptions.misusing.wrongtypeofreturnvalue: boolean cannot returned get() get() should return list *** if you're unsure why you're getting above error read on. due nature of syntax above problem might occur because: 1. exception *might* occur in wrongly written multi-threaded tests. please refer mockito faq on limitations of concurrency testing. 2. sp
Read more

php - Magento - Deleted Base url key -

-
i working on cleaning url: http://mydomain.com/shop/shop/deals i going through settings in configuration tab in admin panel on magento , change secure , unsecure base urls remove first base url "shop" web page read: http://mydomain.com/shop/deals so changed unsecure base urls mydomain.com/shop mydomain.com , secure 12.345.67.89/shop 12.345.67.89. wrong thing do. i cannot reload page or admin console. how access these files through ftp , change correctly there?? when make changes in admin panel changes made in database not in file. have make changes in database. 1.go database , select core_config_data table under table find web/unsecure/base_url , web/secure/base_url . make changes here. don't forget clear cache in var/cache folder
Read more

android - How to disable Button if EditText is empty ? -

-
i have edittext , button in application. when button clicked,the text entered in edittext added listview. i want disable button if edittext empty.how ? this code button click imagebutton imb=(imagebutton)findviewbyid(r.id.btn_send); imb.setonclicklistener(new onclicklistener() { @override public void onclick(view arg0) { edittext et = (edittext)findviewbyid(r.id.edittext1); string str = et.gettext().tostring(); web1.add(str); toast.maketext(shoutsingleprogram.this, "you entered...."+str, toast.length_short).show(); adapter1.notifydatasetchanged(); et.settext(""); } }); } how can ? edittext1.addtextchangedlistener(new textwatcher() { @override public void ontextchanged(charsequence s, int start, int before, in
Read more