Skip to content

Commit

Permalink
Release v4.0.0 (#47)
Browse files Browse the repository at this point in the history
  • Loading branch information
@philandstuff
philandstuff authored Jun 16, 2020
1 parent 780fbaa commit 84b867b
Show file tree
Hide file tree
Showing 38 changed files with 96 additions and 69 deletions.
29 changes: 28 additions & 1 deletion CHANGELOG.md
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,34 @@
# Changelog

## [Unreleased]
[Unreleased]: https://github.com/philandstuff/dhall-golang/compare/v3.0.0...HEAD
[Unreleased]: https://github.com/philandstuff/dhall-golang/compare/v4.0.0...HEAD

## [4.0.0] - 2020-06-16
[4.0.0]: https://github.com/philandstuff/dhall-golang/compare/v3.0.0...v4.0.0

This brings dhall-golang up to version 17.0.0 of the Dhall standard.
Again the standard had breaking changes, so this release is a major
version bump.

Thanks to @lisael for their contributions to this release.

### Breaking changes

* Language changes:
* [Remove Optional/build and Optional/fold](https://github.com/dhall-lang/dhall-lang/pull/1014)

### Added

* Language changes:
* [Allow quoted labels to be empty](https://github.com/dhall-lang/dhall-lang/pull/980)

### Fixed

* Fix potential stack overflow in typechecker (#40)
* When typechecking certain pathological expressions, the
typechecker would get into an infinite loop until it exhausted
the stack.
* Fix error messages when `x === y` fails to typecheck (#39)

## [3.0.0] - 2020-05-11
[3.0.0]: https://github.com/philandstuff/dhall-golang/compare/v2.0.0...v3.0.0
Expand Down
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -18,7 +18,7 @@ import (
"fmt"
"io/ioutil"

"github.com/philandstuff/dhall-golang/v3"
"github.com/philandstuff/dhall-golang/v4"
)

// Config can be a fairly arbitrary Go datatype. You would put your
Expand Down
2 changes: 1 addition & 1 deletion binary/cbor.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ import (
"path"

"github.com/fxamacker/cbor/v2"
. "github.com/philandstuff/dhall-golang/v3/term"
. "github.com/philandstuff/dhall-golang/v4/term"
)

var nameToBuiltin = map[string]Term{
Expand Down
10 changes: 5 additions & 5 deletions binary/performance_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,11 +7,11 @@ import (
"path"
"testing"

"github.com/philandstuff/dhall-golang/v3/binary"
"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/imports"
"github.com/philandstuff/dhall-golang/v3/internal"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/binary"
"github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/imports"
"github.com/philandstuff/dhall-golang/v4/internal"
"github.com/philandstuff/dhall-golang/v4/term"
)

func BenchmarkDecodeLargeExpression(b *testing.B) {
Expand Down
2 changes: 1 addition & 1 deletion binary/semantic_hash.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"bytes"
"crypto/sha256"

"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v4/core"
)

// SemanticHash returns the semantic hash of an evaluated expression.
Expand Down
8 changes: 4 additions & 4 deletions cmd/main.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,10 @@ import (
"log"
"os"

"github.com/philandstuff/dhall-golang/v3/binary"
"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/imports"
"github.com/philandstuff/dhall-golang/v3/parser"
"github.com/philandstuff/dhall-golang/v4/binary"
"github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/imports"
"github.com/philandstuff/dhall-golang/v4/parser"
)

func main() {
Expand Down
2 changes: 1 addition & 1 deletion core/ast.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"fmt"
"math"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

// A Value is a Dhall value in beta-normal form. You can think of
Expand Down
2 changes: 1 addition & 1 deletion core/builtins.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"fmt"
"strings"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

func (naturalBuild) Call(x Value) Value {
Expand Down
4 changes: 2 additions & 2 deletions core/builtins_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,8 +3,8 @@ package core_test
import (
. "github.com/onsi/ginkgo/extensions/table"
. "github.com/onsi/gomega"
"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/parser"
"github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/parser"
)

var _ = DescribeTable("ArgType of builtins", func(src, typ string) {
Expand Down
2 changes: 1 addition & 1 deletion core/equivalence_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ import (
. "github.com/onsi/ginkgo/extensions/table"
. "github.com/onsi/gomega"
"github.com/onsi/gomega/types"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

// Ensure that alphaMatcher is a valid GomegaMatcher
Expand Down
2 changes: 1 addition & 1 deletion core/eval.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ import (
"sort"
"strings"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

type env map[string][]Value
Expand Down
2 changes: 1 addition & 1 deletion core/eval_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package core
import (
. "github.com/onsi/ginkgo"
. "github.com/onsi/gomega"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

var _ = Describe("Eval", func() {
Expand Down
2 changes: 1 addition & 1 deletion core/quote.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package core
import (
"fmt"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

// Quote takes the Value v and turns it back into a Term.
Expand Down
2 changes: 1 addition & 1 deletion core/quote_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package core
import (
. "github.com/onsi/ginkgo/extensions/table"
. "github.com/onsi/gomega"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

var _ = DescribeTable("Quote",
Expand Down
2 changes: 1 addition & 1 deletion core/testing.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
"errors"
"fmt"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

// GomegaMatcher is a copy of
Expand Down
2 changes: 1 addition & 1 deletion core/typecheck.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package core
import (
"fmt"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

type context map[string][]Value
Expand Down
2 changes: 1 addition & 1 deletion core/typecheck_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ import (
. "github.com/onsi/ginkgo"
. "github.com/onsi/ginkgo/extensions/table"
. "github.com/onsi/gomega"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

var _ = DescribeTable("functionCheck",
Expand Down
2 changes: 1 addition & 1 deletion example_function_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package dhall_test
import (
"fmt"

"github.com/philandstuff/dhall-golang/v3"
"github.com/philandstuff/dhall-golang/v4"
)

// Config is the struct we want to unmarshal from Dhall
Expand Down
2 changes: 1 addition & 1 deletion example_nested_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package dhall_test
import (
"fmt"

"github.com/philandstuff/dhall-golang/v3"
"github.com/philandstuff/dhall-golang/v4"
)

// NestedConfig is the struct we want to unmarshal from Dhall
Expand Down
2 changes: 1 addition & 1 deletion example_tagged_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package dhall_test
import (
"fmt"

"github.com/philandstuff/dhall-golang/v3"
"github.com/philandstuff/dhall-golang/v4"
)

// TaggedMessage is the struct we want to unmarshal from Dhall
Expand Down
2 changes: 1 addition & 1 deletion example_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package dhall_test
import (
"fmt"

"github.com/philandstuff/dhall-golang/v3"
"github.com/philandstuff/dhall-golang/v4"
)

// Message is the struct we want to unmarshal from Dhall
Expand Down
2 changes: 1 addition & 1 deletion go.mod
View file
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
module github.com/philandstuff/dhall-golang/v3
module github.com/philandstuff/dhall-golang/v4

require (
github.com/fxamacker/cbor/v2 v2.2.1-0.20200511212021-28e39be4a84f
Expand Down
4 changes: 2 additions & 2 deletions imports/cache.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@ import (
"os"
"path"

"github.com/philandstuff/dhall-golang/v3/binary"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/binary"
"github.com/philandstuff/dhall-golang/v4/term"
)

// DhallCache is an interface for caching implementations.
Expand Down
10 changes: 5 additions & 5 deletions imports/imports.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,11 +4,11 @@ import (
"bytes"
"fmt"

"github.com/philandstuff/dhall-golang/v3/binary"
"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/parser"
"github.com/philandstuff/dhall-golang/v3/term"
. "github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/binary"
"github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/parser"
"github.com/philandstuff/dhall-golang/v4/term"
. "github.com/philandstuff/dhall-golang/v4/term"
)

// Load takes a Term and resolves all imports
Expand Down
6 changes: 3 additions & 3 deletions imports/imports_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ import (
"net/http"
"os"

. "github.com/philandstuff/dhall-golang/v3/imports"
. "github.com/philandstuff/dhall-golang/v3/internal"
. "github.com/philandstuff/dhall-golang/v3/term"
. "github.com/philandstuff/dhall-golang/v4/imports"
. "github.com/philandstuff/dhall-golang/v4/internal"
. "github.com/philandstuff/dhall-golang/v4/term"

. "github.com/onsi/ginkgo"
. "github.com/onsi/ginkgo/extensions/table"
Expand Down
2 changes: 1 addition & 1 deletion internal/gubbins.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ package internal
import (
"net/url"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

func NewImport(fetchable term.Fetchable, mode term.ImportMode) term.Import {
Expand Down
2 changes: 1 addition & 1 deletion parser/internal/dhall.go
View file

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion parser/internal/dhall.peg
View file
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ import (
"unicode"
"unicode/utf8"
)
import . "github.com/philandstuff/dhall-golang/v3/term"
import . "github.com/philandstuff/dhall-golang/v4/term"

// Helper function for parsing all the operator parsing blocks
// see OrExpression for an example of how this is used
Expand Down
2 changes: 1 addition & 1 deletion parser/internal/multiline.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ package internal
import (
"strings"

"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/term"
)

// removeLeadingCommonIndent removes the common leading indent from a
Expand Down
2 changes: 1 addition & 1 deletion parser/internal/multiline_test.go
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
package internal

import (
. "github.com/philandstuff/dhall-golang/v3/term"
. "github.com/philandstuff/dhall-golang/v4/term"

. "github.com/onsi/ginkgo"
. "github.com/onsi/ginkgo/extensions/table"
Expand Down
4 changes: 2 additions & 2 deletions parser/parser.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ import (
"errors"
"io"

"github.com/philandstuff/dhall-golang/v3/parser/internal"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/parser/internal"
"github.com/philandstuff/dhall-golang/v4/term"
)

//go:generate pigeon -optimize-grammar -optimize-parser -o internal/dhall.go internal/dhall.peg
Expand Down
6 changes: 3 additions & 3 deletions parser/parser_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,9 +3,9 @@ package parser_test
import (
"math"

. "github.com/philandstuff/dhall-golang/v3/internal"
"github.com/philandstuff/dhall-golang/v3/parser"
. "github.com/philandstuff/dhall-golang/v3/term"
. "github.com/philandstuff/dhall-golang/v4/internal"
"github.com/philandstuff/dhall-golang/v4/parser"
. "github.com/philandstuff/dhall-golang/v4/term"

. "github.com/onsi/ginkgo"
. "github.com/onsi/ginkgo/extensions/table"
Expand Down
6 changes: 3 additions & 3 deletions property_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,9 +10,9 @@ import (
"github.com/leanovate/gopter/gen"
"github.com/leanovate/gopter/prop"

"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/parser"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/parser"
"github.com/philandstuff/dhall-golang/v4/term"
)

var (
Expand Down
4 changes: 2 additions & 2 deletions regression_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,8 +4,8 @@ import (
. "github.com/onsi/ginkgo"
. "github.com/onsi/ginkgo/extensions/table"
. "github.com/onsi/gomega"
. "github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/parser"
. "github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/parser"
)

func parseAndTypecheckTest(source string, expectedTypeSource string) {
Expand Down
10 changes: 5 additions & 5 deletions spec_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -12,11 +12,11 @@ import (
"strings"
"testing"

"github.com/philandstuff/dhall-golang/v3/binary"
"github.com/philandstuff/dhall-golang/v3/core"
"github.com/philandstuff/dhall-golang/v3/imports"
"github.com/philandstuff/dhall-golang/v3/parser"
"github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/binary"
"github.com/philandstuff/dhall-golang/v4/core"
"github.com/philandstuff/dhall-golang/v4/imports"
"github.com/philandstuff/dhall-golang/v4/parser"
"github.com/philandstuff/dhall-golang/v4/term"
"github.com/pkg/errors"
)

Expand Down
4 changes: 2 additions & 2 deletions term/fetchable_test.go
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,8 +6,8 @@ import (
"net/url"
"os"

"github.com/philandstuff/dhall-golang/v3/internal"
. "github.com/philandstuff/dhall-golang/v3/term"
"github.com/philandstuff/dhall-golang/v4/internal"
. "github.com/philandstuff/dhall-golang/v4/term"

. "github.com/onsi/ginkgo"
. "github.com/onsi/ginkgo/extensions/table"
Expand Down
Loading

0 comments on commit 84b867b

Please sign in to comment.