error define a template haskell function -


i beginning learn template haskell, want create function receive string param define name function generate

build_p5 :: string -> [dec] build_p5 name = [ fund p1           [ clause [tupp [varp a,varp b]] (normalb (appe (vare c) (vare a))) [fund c [clause [varp a] (normalb (vare a)) []]]          ] ]    p1 = mkname name    = mkname "a"    b = mkname "b"    c = mkname "ident"

to run definition :

$(build_p5 "hola")

but when run program following error

couldn't match type ‘[dec]’ ‘q [dec]’ expected type: decsq   actual type: [dec] in expression: build_p5 "hola"

correct code

build_p2 :: monad m => string -> m [dec] build_p2 name = return [ fund p1       [ clause [tupp [varp a,varp b]] (normalb (appe (vare c) (vare a))) [fund c [clause [varp a] (normalb (vare a)) []]]      ]   ]   p1 = mkname name   = mkname "a"   b = mkname "b"   c = mkname "ident"


Comments

Post a Comment

Popular posts from this blog

Magento/PHP - Get phones on all members in a customer group -

i working on custom magento extension. working around adminhtml part , i've created custom form there. here form code: <?php class vivasindustries_smsnotification_block_adminhtml_sms_sendmass_edit_form extends mage_adminhtml_block_widget_form { public function _preparelayout() { $extensionpath = mage::getmoduledir('js', 'vivasindustries_smsnotification'); $head = $this->getlayout()->getblock('head'); $head->addjs('jquery.js'); $head->addjs('vivas.js'); return parent::_preparelayout(); } protected function _prepareform() { $form = new varien_data_form(array( 'id' => 'edit_form', 'action' => $this->geturl('*/*/save', array('id' => $this->getrequest()->get
Read more

php - .htaccess mod_rewrite for dynamic url which has domain names -

i want convert url ex:( example.com/link.php?url=facebook.com ) ( example.com/facebook.com.php ) how can using .htaccess. or there other process make job easier ? i tried adding script .htaccess file options +followsymlinks rewriteengine on rewriterule url-(.*)\.htm$ link.php?url=$1 but converting url adding "url-" ( example.com/url-facebook.com.php ) i want remove "url-" , want make ( example.com/facebook.com.php ) rewriteengine on rewritecond %{the_request} ^get.*link\.php\?url\= [nc] rewritecond %{request_uri} !/system/.* [nc] rewriterule (.*?)link\.php\?url\=/*(.*) /$1$2 [r=301,ne,l] not sure how above work edit of used use remove index.php url
Read more

Website Login Issue developed in magento -

i have website developed using magento . able login. right now, login failed. infact operations interacts user table failing. need know issue. how figure out? first clear try clear log file second make sure have not upgraded magento and 3rd make sure db accessible in magento -harry p
Read more