Wolfram Kahl

Is Haste supposed/known to work on FreeBSD?

4

I am trying now, for the first time, to install Haste on my PC-BSD laptop; this is essentially a thin wrapper around FreeBSD 10.3-RELEASE-p5. With `haste-compiler`, I am still using...

How to do server-side state with the current version? (liftServerIO is gone)

3

I find examples for using server-side state in the Haskell ’14 paper and in `haste-compiler/examples/chatbox/chatbox.hs`, but these rely on `liftServerIO`, which is not part of the new Haste anymore. How...

haste-boot hangs in ghc-prim with no output

3

Trying to use 0.6.0.0 from github, I encounter a situation where haste-boot appears to hang, at 100% CPU, while attempting to process ghc-prim. I have had it running for hours,...

Haste-0.6: Documentation/clarification required: Module top-level items.

1

I lost half a night of sleep over the following problem, until I gave up and ran my exam (I know I am daring, but Haste is just too good!)...

Characters truncated to 16 bits

2

With the current version of Haste, the `𝔹` loses its 17th bit: ``` {-# LANGUAGE StaticPointers, OverloadedStrings #-} import Haste.App.Simple import qualified Haste.JSString as JSS main = runSimpleApp $ do...

A `--prefix` option for haste-boot would be nice

1

Especially since `portable` is strongly discouraged for github versions, I would welcome a `--prefix` option for `haste-boot` that would set the system directory for the Haste installation. This has two...

Slow typechecking of single one-line definition

25

In the [AContext-2.1 Agda sources](http://relmics.mcmaster.ca/RATH-Agda/AContext-2.1.tar.gz) (available under GPL, linked from [the RATH-Agda page](http://relmics.mcmaster.ca/RATH-Agda/#AContext-2.1)), there are two modules `Categoric.OCC.CSL.ToFromAContext` and `Categoric.OCC.CSL.FromToAContext` which each only consist of imports and three lines of...

Misnomer: `Relation.Binary.Core.Total`

7

I find that the current `Total` for binary relations is a misnomer: Currently there is: ```agde Total : ∀ {a ℓ} {A : Set a} → Rel A ℓ →...

Documentation inaccessible

1

The “Documentation” links on the criterion home page (both at the bottom and in the menu bar at the top) only lead to the Hackage page http://hackage.haskell.org/package/criterion ; I cannot...

README.md suggests to use `sudo pip`

1

`sudo pip ...` is strongly discouraged, see: https://askubuntu.com/questions/802544/is-sudo-pip-install-still-a-broken-practice/802594#802594 (Also, neither `pip` nor `easy_install` should be assumed present, IMHO.)