On Sat, Apr 11, 2020 at 09:04:26AM -0700, John Soo wrote:
> Hi Guix!
> 
> Dhall is a language for configuration that aims to be the best in class
> for devops work.  It features strong normalization, strong static types,
> imports, and more.
> 
> I hope you enjoy it!

Thanks! The first 24 patches LGTM as-is.

> From 97163f01cb31dd70e09e0245630d1f7babe5251c Mon Sep 17 00:00:00 2001
> From: John Soo <jsoo1@asu.edu>
> Date: Fri, 10 Apr 2020 21:01:46 -0700
> Subject: [PATCH 25/25] gnu: Add dhall.
> 
> * gnu/packages/dhall.scm (dhall): New variable.
> * gnu/local.mk (GNU_SYSTEM_MODULES): Add dhall.scm.
> * gnu/packages/patches/dhall-remove-network-tests.patch: Add patch to remove
>   network tests.

> +    (arguments
> +     `(#:phases
> +       (modify-phases %standard-phases
> +         (add-after 'unpack 'remove-more-tests

Can you add a brief comment explaining why we need to remove these
tests, rename the phase to reflect that, and send a revised patch?