dhall-lang/dhall-lang issues and pull requests

#1288 - Fix `None`-related test

Pull Request - State: closed - Opened by Gabriella439 over 2 years ago

#1287 - Implement drop and take builtins

Pull Request - State: open - Opened by ear7h over 2 years ago - 1 comment

#1286 - List/drop causes exponentially sized normal form

Issue - State: open - Opened by ear7h over 2 years ago - 5 comments

#1285 - dhall hash / repl :hash discrepancy

Issue - State: closed - Opened by swmichaels over 2 years ago - 1 comment

#1284 - dhall-lang.org certificate expired

Issue - State: closed - Opened by moinessim over 2 years ago - 5 comments

#1283 - Fix links in integrations documentation

Pull Request - State: closed - Opened by Gabriella439 over 2 years ago

#1282 - `docs.dhall-lang.org` doesn't match `dhall-lang/blob/master/docs`

Issue - State: closed - Opened by Isweet over 2 years ago - 1 comment

#1281 - Better ergonomics for referencing fields of the current record

Issue - State: open - Opened by pombadev over 2 years ago - 4 comments

#1280 - Sort/hashOf Builtin (or Kind/hashOf?)

Issue - State: closed - Opened by jcdickinson almost 3 years ago - 2 comments

#1279 - docs/discussions/Safety guarantees: Fix TOCTOU

Pull Request - State: closed - Opened by nbraud almost 3 years ago - 2 comments

#1278 - Spelling

Pull Request - State: closed - Opened by jsoref almost 3 years ago

#1277 - Fix IPv6 support for Linode

Pull Request - State: closed - Opened by Gabriella439 almost 3 years ago

#1276 - Define types for custom functions

Issue - State: closed - Opened by mainrs almost 3 years ago - 6 comments

#1275 - `dhall format` deletes comment

Issue - State: open - Opened by samuela almost 3 years ago - 4 comments

#1274 - Can't use `with` as a key in a record

Issue - State: closed - Opened by samuela almost 3 years ago - 2 comments

#1273 - Expand tests of reference implementation

Pull Request - State: closed - Opened by darichey almost 3 years ago - 1 comment

#1272 - Include schema in the Access-Control-Allow-Origin header value

Pull Request - State: closed - Opened by hagl almost 3 years ago

#1271 - Feature request: `dhall --only-cache`

Issue - State: open - Opened by SebastianKG almost 3 years ago - 1 comment

#1270 - Disable IPv6 for `nginx`'s DNS resolution

Pull Request - State: closed - Opened by Gabriella439 almost 3 years ago

#1269 - Disable IPV6 on dhall-lang.org

Pull Request - State: closed - Opened by Gabriella439 almost 3 years ago - 1 comment

#1268 - `dhall-lang.org` domain down? I can't access Discourse or Prelude

Issue - State: closed - Opened by isaacsanders almost 3 years ago - 35 comments

#1266 - Please add a Dhall-CSV package allow import of functions to transform between CSV and Dhall expressions.

Issue - State: open - Opened by mmynsted almost 3 years ago - 2 comments

#1265 - CORS tests: add Access-Control-Allow-Origin header to GET requests on test.dhall-lang.com

Pull Request - State: closed - Opened by hagl almost 3 years ago - 1 comment

#1264 - Clarification on `Location`'s status as a reserved identifier in ABNF

Issue - State: open - Opened by SiriusStarr almost 3 years ago - 1 comment
Labels: question

#1263 - Fix header forwarding test

Pull Request - State: closed - Opened by Gabriella439 almost 3 years ago

#1262 - Typo in type for header configuration

Pull Request - State: closed - Opened by hagl almost 3 years ago

#1261 - Fix typo in Design-choices.md

Pull Request - State: closed - Opened by hanshoglund almost 3 years ago

#1260 - A few questions about import/success/headerForwarding testcase

Issue - State: closed - Opened by hagl almost 3 years ago - 4 comments

#1259 - Some small typos in binary encoding spec

Pull Request - State: closed - Opened by hagl almost 3 years ago

#1258 - Version 21.1.0 → 22.0.0

Pull Request - State: closed - Opened by Gabriella439 almost 3 years ago

#1257 - Add `showConstructor` to convert union value constructor to `Text`

Pull Request - State: closed - Opened by darichey almost 3 years ago - 1 comment

#1256 - Add search functionality to `prelude.dhall-lang.org`

Issue - State: open - Opened by mainrs almost 3 years ago - 3 comments

#1254 - Add `with` support for modifying `Optional` values

Pull Request - State: closed - Opened by darichey almost 3 years ago - 17 comments

#1224 - Render XML without escaping

Issue - State: closed - Opened by ear7h about 3 years ago - 2 comments

#1218 - Add Text/shell-escape function to Prelude

Pull Request - State: closed - Opened by mmhat over 3 years ago - 2 comments

#1215 - Binary literals

Issue - State: closed - Opened by blbarker over 3 years ago - 3 comments

#1213 - Add arithmetic operations for Natural and Integer

Issue - State: closed - Opened by winitzki over 3 years ago - 34 comments

#1204 - Show for arbitrary enums

Issue - State: closed - Opened by hllizi over 3 years ago - 12 comments

#1196 - Natural and Integer literals do not allow leading zeros.

Issue - State: open - Opened by TravisWhitaker over 3 years ago - 8 comments

#1191 - Standardize support for dates / times / time zones

Pull Request - State: closed - Opened by Gabriella439 over 3 years ago - 4 comments

#1179 - Support for Blob types?

Issue - State: closed - Opened by ProofOfKeags over 3 years ago - 10 comments

#1086 - Add config file for formatting defaults

Issue - State: open - Opened by mheiber about 4 years ago - 56 comments

#1079 - Get field of record type using dot (.)

Issue - State: open - Opened by Gabriella439 about 4 years ago - 8 comments

#1074 - Render Double with given precision

Issue - State: open - Opened by MICHAELABICK about 4 years ago - 6 comments

#1066 - Refine recursive types documentation

Pull Request - State: closed - Opened by ari-becker about 4 years ago - 5 comments

#1035 - [Feature Request] Add Text/contains built-in

Issue - State: open - Opened by ari-becker over 4 years ago - 7 comments

#994 - Importing with union constructors in scope

Issue - State: open - Opened by Gabriella439 over 4 years ago - 10 comments

#979 - Builtins for `Map`

Issue - State: open - Opened by f-f over 4 years ago - 26 comments

#961 - Wildcard in `merge`

Issue - State: open - Opened by Nadrieril over 4 years ago - 33 comments

#959 - [RFC] Literate Haskell semantics

Issue - State: open - Opened by Nadrieril over 4 years ago - 13 comments

#828 - Row polymorphism (i.e. functions ignoring unused record fields)?

Issue - State: open - Opened by amarrella about 5 years ago - 21 comments

#800 - Proposal: "forward declarations" for custom built-ins

Issue - State: open - Opened by neongreen about 5 years ago - 39 comments

#739 - Have a hash built-in function?

Issue - State: open - Opened by arianvp about 5 years ago - 23 comments
Labels: standardize me

#693 - Lift restrictions on returning terms whose type is a Type

Issue - State: open - Opened by MonoidMusician over 5 years ago - 9 comments

#543 - `using` seems overly permissive

Issue - State: open - Opened by philandstuff over 5 years ago - 5 comments

#486 - Test merging sort-level record types.

Pull Request - State: closed - Opened by sellout over 5 years ago

#336 - `toJSON` keyword?

Issue - State: open - Opened by Gabriella439 almost 6 years ago - 35 comments

#175 - Proposal: Allow combining union types

Issue - State: open - Opened by aleator over 6 years ago - 19 comments
Labels: standardize me

#164 - Discussion: Text equality

Issue - State: closed - Opened by f-f over 6 years ago - 27 comments
Labels: Discussion

GitHub / dhall-lang/dhall-lang issues and pull requests