From abe812fc40c52009605112ddd8bc16a8d5f0659a Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Thu, 23 Feb 2023 10:02:45 +0100 Subject: [PATCH] update tap, also other flakes --- flake.lock | 20 ++++++++++---------- tests/Tests.idr | 3 ++- 2 files changed, 12 insertions(+), 11 deletions(-) diff --git a/flake.lock b/flake.lock index 2d3c7f7..f34177c 100644 --- a/flake.lock +++ b/flake.lock @@ -130,11 +130,11 @@ }, "flake-utils": { "locked": { - "lastModified": 1667395993, - "narHash": "sha256-nuEHfE/LcWyuSWnS8t12N1wc105Qtau+/OdUAjtQ0rA=", + "lastModified": 1676283394, + "narHash": "sha256-XX2f9c3iySLCw54rJ/CZs+ZK6IQy7GXNY4nSOyu2QG4=", "owner": "numtide", "repo": "flake-utils", - "rev": "5aed5285a952e0b949eb3ba02c12fa4fcfef535f", + "rev": "3db36a8b464d0c4532ba1c7dda728f4576d6d073", "type": "github" }, "original": { @@ -392,11 +392,11 @@ }, "nixpkgs": { "locked": { - "lastModified": 1672997035, - "narHash": "sha256-DNaNjsGMRYefBTAxFIrVOB2ok477cj1FTpqnu/mKRf4=", + "lastModified": 1677050843, + "narHash": "sha256-3fcFxn58eCtrXrVPeW/nAg6NR5wUERVEf8zOtjPDzuM=", "owner": "NixOS", "repo": "nixpkgs", - "rev": "f1ffcf798e93b169321106a4aef79526a2b4bd0a", + "rev": "9e0eed654c705c7cafe192a8eba1610217f70544", "type": "github" }, "original": { @@ -569,11 +569,11 @@ ] }, "locked": { - "lastModified": 1676154915, - "narHash": "sha256-yr1x/ACiYBSdLo7ZKEay8vZCwhg0g9uKhJRSoiZG1wU=", + "lastModified": 1677099362, + "narHash": "sha256-egayKOaeCief0149Ht5tJlH6mu5GnP7mwjsX0GGOfxo=", "ref": "main", - "rev": "8428d0dd068ba675473297e52a679722cb976398", - "revCount": 13, + "rev": "4dba693a5fe47fc0304053c4c1237fa373379c4f", + "revCount": 14, "type": "git", "url": "https://git.rhiannon.website/rhi/idris2-tap" }, diff --git a/tests/Tests.idr b/tests/Tests.idr index f3b70f8..5f6eade 100644 --- a/tests/Tests.idr +++ b/tests/Tests.idr @@ -14,4 +14,5 @@ allTests = [ Typechecker.tests ] -main = TAP.main !getTestOpts ["all" :- allTests] +main : IO () +main = TAP.main !(getTestOpts "quox test suite") ["all" :- allTests]