update trealla and wasmtime

trealla-prolog · Jan 30, 2024 · 1c36d1a · 1c36d1a
1 parent 2062869
commit 1c36d1a
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 7 deletions.
diff --git a/go.mod b/go.mod
@@ -3,7 +3,7 @@ module github.com/trealla-prolog/go
 go 1.19
 
 require (
-	github.com/bytecodealliance/wasmtime-go/v15 v15.0.0
+	github.com/bytecodealliance/wasmtime-go/v17 v17.0.0
 	golang.org/x/exp v0.0.0-20230817173708-d852ddb80c63
 )
 

diff --git a/go.sum b/go.sum
@@ -1,5 +1,5 @@
-github.com/bytecodealliance/wasmtime-go/v15 v15.0.0 h1:4R2MpSPPbtSxqdsOTvsMn1pnwdEhzbDGMao6LUUSLv4=
-github.com/bytecodealliance/wasmtime-go/v15 v15.0.0/go.mod h1:m6vB/SsM+pnJkVHmO1wzHYUeYtciltTKuxuvkR8pYcY=
+github.com/bytecodealliance/wasmtime-go/v17 v17.0.0 h1:Cqs/IPBXQZW/rXKGJEn9aUTbjSiEugHPCdl6bz05Bf0=
+github.com/bytecodealliance/wasmtime-go/v17 v17.0.0/go.mod h1:Xc5PsJLgMNsHdxFh4wwEdxTYe/AmwlkhPgmemK7FuNs=
 github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
 github.com/davecgh/go-spew v1.1.1 h1:vj9j/u1bqnvCEfJOwUhtlOARqs3+rkHYY13jYWTU97c=
 github.com/davecgh/go-spew v1.1.1/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=

diff --git a/src/trealla b/src/trealla
diff --git a/trealla/interop.go b/trealla/interop.go
@@ -4,7 +4,7 @@ import (
 	"encoding/binary"
 	"fmt"
 
-	"github.com/bytecodealliance/wasmtime-go/v15"
+	"github.com/bytecodealliance/wasmtime-go/v17"
 )
 
 // Predicate is a Prolog predicate implemented in Go.

diff --git a/trealla/libtpl.wasm b/trealla/libtpl.wasm
diff --git a/trealla/prolog.go b/trealla/prolog.go
@@ -12,7 +12,7 @@ import (
 	"runtime"
 	"sync"
 
-	"github.com/bytecodealliance/wasmtime-go/v15"
+	"github.com/bytecodealliance/wasmtime-go/v17"
 	"golang.org/x/exp/maps"
 )
 

diff --git a/trealla/wasm.go b/trealla/wasm.go
@@ -3,7 +3,7 @@ package trealla
 import (
 	_ "embed"
 
-	"github.com/bytecodealliance/wasmtime-go/v15"
+	"github.com/bytecodealliance/wasmtime-go/v17"
 )
 
 //go:embed libtpl.wasm
+1 −1		library/clpb.pl
+4 −4		library/dcgs.pl
+8 −8		library/format.pl
+14 −8		library/freeze.pl
+2 −0		src/bif_atts.c
+1 −1		src/bif_format.c
+7 −5		src/bif_streams.c
+1 −0		src/internal.h
+2 −2		src/parser.c
+2 −2		src/print.c
+1 −0		src/prolog.c
+2 −1		src/query.c
+16 −30		src/unify.c
+2 −1		tests/issues/test066.pl
+3 −2		tests/issues/test161.pl
+2 −1		tests/issues/test167.pl
+2 −1		tests/issues/test210.pl
+5 −5		tests/issues/test393.pl
+4 −3		tests/issues/test394.pl
+2 −1		tests/issues/test400.pl
+2 −1		tests/issues/test402.pl
+2 −1		tests/issues/test403.pl
+2 −1		tests/issues/test404.pl
+3 −2		tests/tests/test069.pl
+5 −4		tests/tests/test097.pl
+4 −3		tests/tests/test098.pl
+0 −2		tpl.c