prolog - unexpected error "! segmentation violation" -

-

recently , when try compile project , unexpected error has appeared ,

error :

% execution aborted % source_info | ?-  ! segmentation violation

is there explanation happens!

this looks bug in sicstus prolog (unless prolog code loads own c code). reinstalling not help.

please send relevant information (exact sicstus version , os version) , preferably way reproduce problem, sicstus support email address. also, try in latest version, i.e. 4.3.2.

a reproducer works without using spider easiest work with.

(i 1 of sicstus developers)


Comments

Post a Comment

Popular posts from this blog

ruby on rails - Permission denied @ sys_fail2 - (D:/RoR/projects/grp/public/uploads/ -

-
i trying rename upload image permission denied @ sys_fail2 - (d:/ror/projects/grp/public/uploads/gallery/test.jpg, d:/ror/projects/grp/public/uploads/gallery/qinsnvzicc20160509132021.jpg) my code : photo = params[:gallery][:gal_img] name = photo.original_filename directory = "#{rails.root}/public/uploads/gallery/" path = file.join(directory, name) uniq_name = (0...10).map { (65 + rand(26)).chr }.join time_footprint = time.now.to_formatted_s(:number) file.open(path, "wb") |file| new_file_name = uniq_name + time_footprint + file.extname(file) file.write(photo.read) @uniq_path = file.join(directory, new_file_name) file.rename(file, @uniq_path) end i have checked , giving privilege in ruby directory. please let me know why getting permission denied error?
Read more

c++ - nodejs socket.io closes connection before upgrading to websocket -

-
i'm trying write c++ client talk websocket server written using nodejs , socket.io. can't c++ client establish websocket connection; server drops connection right after client requests http connection upgraded websocket. i used tcpdump watch packets going , forth. when use websocket server browser, works great , tcpdump output shows packets going , forth. when try connect server using c++ client, websocket connection never gets established. output tcpdump shows upgrade request being sent server followed server dropping connection. i tried replicating sequence of events using nc . connected server (running on port 8080) , copy-pasted exact set of headers sent browser, captured tcpdump. duplicate of working headers, connection dropped. there no output on server end indicating why connection gets dropped. here headers sent: get /socket.io/?type=player&eio=3&transport=websocket&sid=7mdclht_8ctsd6f4aaac http/1.1 host: localhost:8080 connection: upgrade prag
Read more

python - PyQt: Label not showing correct number of length -

-
i making quiz application in pyqt4, there 3 main generators: incorrect , correct , timeout . all answers connecting scorecheck function: def scorecheck(self, sendercheck): if ( sendercheck == self.answ ) or ( sendercheck == self.answ1 ) or ( sendercheck == self.answ5 ) or ( sendercheck == self.answ7 ) or ( sendercheck == self.answ8 ) or ( sendercheck == self.answ10 ): self.wronganswers.append(1) elif ( sendercheck == self.answ2 ) or ( sendercheck == self.answ4 ) or ( sendercheck == self.answ9 ): self.correctanswers.append(1) elif sendercheck == self.tmr3: self.timeouts.append(1) print "worked" print len(self.timeouts) else: pass self.wronganswerlabel = qtgui.qlabel(str(len(self.wronganswers)), self) self.wronganswerlabel.setgeometry(220, 40, 200, 200) self.wronganswerlabel.setobjectname('wronganswercount') self.wronganswerlabel.setstylesheet("#wronganswercount { font-size
Read more