Skip to content

Commit

Permalink
Merge pull request #740 from hacspec/fix-string-hash-ocaml-4
Browse files Browse the repository at this point in the history
fix(engine/fstar): use `Base.String.hash` instead of `String.hash`
  • Loading branch information
W95Psp authored Jun 27, 2024
2 parents 22b75d5 + 6b2e2e6 commit a4ea5b7
Show file tree
Hide file tree
Showing 2 changed files with 5 additions and 2 deletions.
5 changes: 4 additions & 1 deletion .github/workflows/install_and_test.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,10 @@ jobs:
steps:
- uses: actions/checkout@v3
- uses: DeterminateSystems/nix-installer-action@main
- uses: cachix/cachix-action@v15
with:
name: hax
skipPush: true
- uses: DeterminateSystems/magic-nix-cache-action@main
- name: Build
run: nix build -L
Expand Down Expand Up @@ -47,7 +51,6 @@ jobs:
env:
CACHIX_AUTH_TOKEN: ${{ secrets.CACHIX_AUTH_TOKEN }}
run: |
nix profile install nixpkgs#cachix nixpkgs#jq
nix build .# .#fstar --json \
| jq -r '.[].outputs | to_entries[].value' \
| cachix push hax
Expand Down
2 changes: 1 addition & 1 deletion engine/backends/fstar/fstar-surface-ast/z.ml
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ let of_t = Base.Int.to_string

let compare = String.compare
let pp_print = pp
let hash = String.hash
let hash = Base.String.hash


let to_int: String.t -> Base.Int.t = Base.Int.of_string
Expand Down

0 comments on commit a4ea5b7

Please sign in to comment.