Re: How to remove a cabal package from the local system?
Am Mittwoch, 21. Januar 2015, 19:39:50 schrieben Sie: On 2015-01-21 at 16:36:08 +0100, Volker Wysk wrote: I have installed/registered a new version of a package with cabal by accident. How can I remove it again? Not sure if this is what you want, but the `cab` tool has an `uninstall` sub-command to unregister and remove installed packages. [1]: http://hackage.haskell.org/package/cab Yes, this is what I want. But Evan's script works fine. I think I will stick to it. Greeting Volker ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: How to remove a cabal package from the local system?
On 2015-01-22 at 09:04:30 +0100, Volker Wysk wrote: I have installed/registered a new version of a package with cabal by accident. How can I remove it again? Not sure if this is what you want, but the `cab` tool has an `uninstall` sub-command to unregister and remove installed packages. [1]: http://hackage.haskell.org/package/cab Yes, this is what I want. But Evan's script works fine. I think I will stick to it. There's one thing though that Evan's script doesn't handle afaics: recursive de-installation of packages that depend upon the package version you're uninstalling... Hopefully at some point `cabal` will provide a `uninstall` command out of the box, you can subscribe to the respective GitHub issue if you want to follow that discussion: https://github.com/haskell/cabal/issues/227 Cheers, hvr ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
ANN: git-monitor
git-monitor auto-commits all changes to a Git working tree, within a special branch named refs/snapshots/refs/heads/branch. It has no impact on the Git repository otherwise, and will not effect your real branches. It has the following features: - It is designed to be extremely resource efficient, both in CPU cost and memory. I wanted something I could run several instances of on my laptop, without paying much of a battery cost. This efficiency is achieved by using gitlib with the libgit2 backend. The current state of the working tree is maintained as a Git object in memory, and is updated in place before being written back out to disk. Thus, the amount of computation done remains minimal, as we do not need to rebuild the Git tree at each iteration (as git-commit would do). - Whenever git-monitor is exited and restarted, the previous snapshot branch is discarded. These are only intended to be viable during and between runs. - By having such a branch, you can easily browse through the diffs of your changes throughout the day. By default, every action taken is printed to the console where git-monitor is run, but it can also be run in silent mode, for example if you choose to background it for the rest of the day. http://hackage.haskell.org/package/git-monitor https://github.com/jwiegley/git-monitor Please report issues to the GitHub page. I have been using git-monitor on a regular basis for more than a year now, so I felt it finally deserved an announcement here. Thank you, John Wiegley (johnw on IRC/freenode) ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: [Haskell] ANN: git-monitor
John Wiegley jo...@newartisans.com writes: https://github.com/jwiegley/git-monitor The page is: https://github.com/jwiegley/gitlib John ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
Re: How to remove a cabal package from the local system?
On 2015-01-21 10:36 AM, Volker Wysk wrote: I have installed/registered a new version of a package with cabal by accident. How can I remove it again? See my http://www.vex.net/~trebla/haskell/sicp.xhtml#remove . In fact, read the whole thing. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: [Haskell] ANN: git-monitor
John Wiegley jo...@newartisans.com writes: John Wiegley jo...@newartisans.com writes: https://github.com/jwiegley/git-monitor The page is: https://github.com/jwiegley/gitlib Looks great! Power consumption could be further improved by using inotify [1] (or the host's operating system's analogue) to avoid unnecessary wakeups entirely. Cheers, - Ben [1] http://hackage.haskell.org/package/hinotify-0.3.7/docs/System-INotify.html pgp8jALXboQVE.pgp Description: PGP signature ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
[Haskell] [ANNOUNCE] New release of SBV
I'm happy to announce a new release of SBV (v4.0); a library for seamlessly integrating SMT solvers with Haskell. https://hackage.haskell.org/package/sbv Most of the changes in this release are due to Brian Huffman of Galois; essentially adding capabilities so end-users can define symbolic bit-vector types that are not natively supported by SBV. For instance, a user can define `SWord17` for representing 17-bit words and use them just like other symbolic types natively supported by SBV. This feature allows SBV to take advantage of arbitrary bit-size decision procedures for bit-vector logics as found in modern SMT solvers, which are becoming increasingly more valuable in (semi-)automated verification of software artifacts. (Note that SBV already supports other basic types such as unbounded Integers, IEEE Floats and Doubles, Rationals, Algebraic reals, and traditional machine word sizes such as Word8/Int8; 16; 32; and 64 symbolically.) We plan to also add automatic support for SWordN/SIntN for arbitrary N, once GHC gets proper support for type-level naturals. Thanks to Brian Huffman for his contributions to this release. Bug reports/comments are always welcome. -Levent. ___ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
