Re: How to get a heap visualization
Have you gotten in touch with Joachim? I think he's touched that space in the not too murky past. On Aug 31, 2017 11:18 AM, "Yitzchak Gale"wrote: > I wrote: > >> I need a simple heap visualization for debugging purposes... > >> Vacuum... has some long-outstanding PRs against it... > >> that were never applied... > >> Getting ghc-vis to compile looks hopeless... > >> ghc-heap-view... is there a quick and simple > >> visualizer for its output, without ghc-vis? > > Edward Z. Yang wrote: > > Why not the plain old heap profiler? > > That didn't prove helpful in this case. We need to dive down > into the structure of certain large and complex objects to find > out what is happening. > > My plan is to see if I can apply the vacuum PR manually locally > and see if I can get it working reasonably soon. If not, I guess > I'll try running ghc-heap-view without visualization and see if I > can make sense of the textual output. > > Actually, the profiling was done by someone else, not me. > Now that you mention it, maybe I'll first give that another try > myself and see if I can get any farther. > > Still, vacuum-style heap visualization is a really nice tool. > It's a shame that it has fallen into such a state of disrepair. > > Thanks, > Yitz > ___ > Glasgow-haskell-users mailing list > Glasgow-haskell-users@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users > ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
Re: How to get a heap visualization
I wrote: >> I need a simple heap visualization for debugging purposes... >> Vacuum... has some long-outstanding PRs against it... >> that were never applied... >> Getting ghc-vis to compile looks hopeless... >> ghc-heap-view... is there a quick and simple >> visualizer for its output, without ghc-vis? Edward Z. Yang wrote: > Why not the plain old heap profiler? That didn't prove helpful in this case. We need to dive down into the structure of certain large and complex objects to find out what is happening. My plan is to see if I can apply the vacuum PR manually locally and see if I can get it working reasonably soon. If not, I guess I'll try running ghc-heap-view without visualization and see if I can make sense of the textual output. Actually, the profiling was done by someone else, not me. Now that you mention it, maybe I'll first give that another try myself and see if I can get any farther. Still, vacuum-style heap visualization is a really nice tool. It's a shame that it has fallen into such a state of disrepair. Thanks, Yitz ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/glasgow-haskell-users
[Haskell] ThEdu'17 Post-Proceedings: Call for Papers
(Apologies for duplicates) Call for Papers - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Post-Proceedings --- ThEdu'17 - Electronic Proceedings in Theoretical Computer Science ThEdu'17 --- Theorem proving components for Educational software 6 August 2017, Gothenburg, Sweden, at CADE26 http://www.uc.pt/en/congressos/thedu/thedu17 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Post-Proceedings THedu'17 Scope: Computer Theorem Proving is becoming a paradigm as well as a technological base for a new generation of educational software in science, technology, engineering and mathematics. The workshop brought together experts in automated deduction with experts in education in order to further clarify the shape of the new software generation and to discuss existing systems. This call is open for everyone, also those who did not participate in the workshop. Important Dates (EPTCS Post-Proceedings) * Call for papers:08 Sep 2017 * Submission (full papers): 17 Nov 2017 * Notification of acceptance: 15 Dec 2017 * Revised papers due: 19 Jan 2018 Topics of interest include: - methods of automated deduction applied to checking students' input; - methods of automated deduction applied to prove post-conditions for particular problem solutions; - combinations of deduction and computation enabling systems to propose next steps; - automated provers specific for dynamic geometry systems; - proof and proving in mathematics education. Submission We welcome submission of papers presenting original unpublished work which is not been submitted for publication elsewhere. The authors should comply with the "instructions for authors", LaTeX style files and accept the "Non-exclusive license to distribute" of EPTCS: Instructions for authors (http://info.eptcs.org/) LaTeX style file and formatting instructions (http://style.eptcs.org/) Copyright (http://copyright.eptcs.org/) Papers should be submitted via easychair, https://easychair.org/conferences/?conf=thedu17 . Program Committee Francisco Botana, University of Vigo at Pontevedra, Spain Achim Brucker, University of Sheffield, United Kingdom Roman HaĊĦek, University of South Bohemia, Czech Republic Filip Maric, University of Belgrade, Serbia Walther Neuper, Graz University of Technology, Austria (co-chair) Pavel Pech, University of South Bohemia, Czech Republic Pedro Quaresma, University of Coimbra, Portugal (co-chair) Vanda Santos, CISUC, Portugal Wolfgang Schreiner, Johannes Kepler University, Austria Burkhart Wolff, University Paris-Sud, France -- Dr. Achim D. Brucker | Software Assurance & Security | University of Sheffield https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell