Skip to content

Commit

Permalink
Merge pull request #192 from vekatze/update-core-0-50-5
Browse files Browse the repository at this point in the history 
update the core library (0-50-5)
  • Loading branch information
@vekatze
vekatze committed Jun 17, 2024
2 parents d3fcab3 + 3e97530 commit 8da9e6d
Show file tree
Hide file tree
Showing 56 changed files with 113 additions and 116 deletions.
4 changes: 2 additions & 2 deletions bench/action/bubble/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions bench/action/dictionary/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions bench/action/dictionary/source/dictionary-nt.nt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ define make-big-dict(size: int): dictionary(int, int) {
grow(Dict.empty(), size, function (acc, _) {
let key = random(1000000) in
let val = random(1000000) in
intdict::insert(key, val, acc)
intdict::insert(acc, key, val)
})
}

Expand All @@ -23,7 +23,7 @@ define random-lookup-sum(count: int, d: &dictionary(int, int)): unit {
grow(0, count, function (acc, _) {
let key = random(1000000) in
let val on key =
match intdict::lookup(key, d) {
match intdict::lookup(d, key) {
| Left(_) =>
0
| Right(v) =>
Expand Down
4 changes: 2 additions & 2 deletions bench/action/intmap/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions bench/action/intmap/source/intmap-nt.nt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ define make-big-dict(size: int): intmap(int) {
grow(IntMap.empty(), size, function (acc, _) {
let key = random(1000000) in
let val = random(1000000) in
insert(key, val, acc)
insert(acc, key, val)
})
}

Expand All @@ -19,7 +19,7 @@ define random-lookup-sum(count: int, d: &intmap(int)): unit {
grow(0, count, function (acc, _) {
let key = random(1000000) in
let val on key =
match lookup(*key, d) {
match lookup(d, *key) {
| Left(_) =>
0
| Right(v) =>
Expand Down
4 changes: 2 additions & 2 deletions book/src/manual-installation.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@ Add the below to your `.bashrc`, `.zshrc`, etc.

```sh
# this sets the core module (or "prelude") that is used in `neut create`
export NEUT_CORE_MODULE_URL="https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst"
export NEUT_CORE_MODULE_DIGEST="9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4"
export NEUT_CORE_MODULE_URL="https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst"
export NEUT_CORE_MODULE_DIGEST="GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk"
```

Then, get the compiler:
Expand Down
4 changes: 2 additions & 2 deletions install.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -142,8 +142,8 @@ printf $BLUE "note: "
echo "please restart your shell after adding the following environment variables to your shell config:"

echo ""
echo "export NEUT_CORE_MODULE_URL=\"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst\""
echo "export NEUT_CORE_MODULE_DIGEST=\"9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4\""
echo "export NEUT_CORE_MODULE_URL=\"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst\""
echo "export NEUT_CORE_MODULE_DIGEST=\"GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk\""

if command -v apt-get >/dev/null 2>&1; then
echo "export NEUT_CLANG=$CLANG"
Expand Down
4 changes: 2 additions & 2 deletions test/meta/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/adder/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/args/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/calc/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/check/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/codata-basic/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/complex-cancel/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/ex-falso/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/fact/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/file/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/fix-and-free-vars/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -13,9 +13,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/fold-tails/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
9 changes: 3 additions & 6 deletions test/misc/fold-tails/source/fold-tails.nt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -83,12 +83,9 @@ define main(): unit {
let _ = !yss in
let !zs =
// [26, ..., 1]
map(
function (l) {
head(l)
},
!yss,
)
for-each(!yss, function (l) {
head(l)
})
in
let _ = !zs in
let _ = !zs in
Expand Down
4 changes: 2 additions & 2 deletions test/misc/foreign/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/hello/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/lambda-list/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/loop-and-resource/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/multi-targets/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/mutable/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/nat-fact/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/nat-list/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/print-float/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/misc/static-file/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/pfds/binary-search-tree/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
4 changes: 2 additions & 2 deletions test/pfds/binomial-heap/module.ens
View file
Original file line number Diff line number Diff line change
Expand Up @@ -9,9 +9,9 @@
},
dependency {
core {
digest "9Rol5ZkFxSC_Rso9Sfh6zPW9yvxcg7_b_6dMCn9Dss4",
digest "GXLVbD9AZEo5DboEz8_fYjRmfEWbCplM0Jb033n0EJk",
mirror [
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-3.tar.zst",
"https://github.com/vekatze/neut-core/raw/main/archive/0-50-5.tar.zst",
],
enable-preset true,
},
Expand Down
Loading

0 comments on commit 8da9e6d

Please sign in to comment.