Brian Schroeder

Results 9 issues of Brian Schroeder

Hi Leo, I was wondering if this repo contains the latest work on typed algebraic effects for OCaml, and how a newcomer might help out with work that still needs...

It seems that `Nokogiri::XML::Schema#validate` for filenames (not `Nokogiri::XML::Document`s) does not return any errors for malformed XML documents: only for well-formed documents that do not conform to the provided schema. ```...

help wanted
topic/xsd

Thanks for this project! What would be necessary for us to add ligature support to termonad? e.g. for the font PragmataPro

help wanted

@slpopejoy With the following setup, and the module typechecking: ```lisp (begin-tx) (env-data { "kadmin": { "keys": ["admin"], "pred": "=" } }) (env-keys ["admin"]) (define-keyset 'kadmin) (module m1 'kadmin (defschema s...

bug

The following call to `f` currently does *not* fail because we disregard `BAR`'s return value (and always return `true`) and end up evaluating `(enforce true "...")` ```lisp (module m 'keyset...

bug

It's possible we might need to parse column names in a type-directed fashion to be able to tell `'column-name` apart from `'some-random-string`?

enhancement
FV

It would be nice to have some equivalent to Common Lisp’s [`progn`](http://clhs.lisp.se/Body/s_progn.htm) / Scheme’s [`begin`](https://docs.racket-lang.org/reference/begin.html) / Clojure’s [`do`](https://clojuredocs.org/clojure.core/do) to sequence side-effecting forms in an expression. Except not named `progn` 😄:...

enhancement

Hi Antti, Thanks for this library. I was wondering if there are any plans to yield rows lazily? I see in `PgResultSet` that `iterator()` is currently backed by an eager...

Hi there, I'm trying to use dash-haskell with stack: ``` $ stack exec -- dash-haskell -c foo.cabal --db /Users/bts/.stack/snapshots/x86_64-osx/nightly-2015-07-15/7.10.1/pkgdb using package db stack: > ghc distribution (global db) > system...

bug