Add support for :check constraint at column level (#29)

* bump ecto to 3.6.1, remove forked repo.exs tests

* add check constraint column option

* initial implementation without name

* require name for column constraint, clean up errors

* better docs

* format

Author: kevinlang

CHANGELOG.md

@@ -7,6 +7,7 @@ adheres to [Semantic Versioning][semver].
 
 ## [0.5.5] - Unreleased
 - Fix "database is locked" issue by setting `journal_mode` at `storage_up` time.
+- Add :check constraint column option.
 
 
 ## [0.5.4] - 2021-04-06

integration_test/all_test.exs

@@ -7,9 +7,7 @@ Code.require_file "#{ecto}/integration_test/cases/repo.exs", __DIR__
 Code.require_file "#{ecto}/integration_test/cases/windows.exs", __DIR__
 Code.require_file "#{ecto}/integration_test/cases/interval.exs", __DIR__
 Code.require_file "#{ecto}/integration_test/cases/type.exs", __DIR__
-
-# add :concat tag, waiting for 3.6.1 release
-Code.require_file "./ecto/repo.exs", __DIR__
+Code.require_file "#{ecto}/integration_test/cases/repo.exs", __DIR__
 
 ecto_sql = Mix.Project.deps_paths()[:ecto_sql]
 # Code.require_file "#{ecto_sql}/integration_test/sql/lock.exs", __DIR__

integration_test/constraints_test.exs

@@ -0,0 +1,66 @@
+defmodule Ecto.Integration.ConstraintsTest do
+  use ExUnit.Case, async: true
+
+  import Ecto.Migrator, only: [up: 4]
+  alias Ecto.Integration.PoolRepo
+
+  defmodule ConstraintMigration do
+    use Ecto.Migration
+
+    @table table(:constraints_test)
+
+    def change do
+      create @table do
+        add :price, :integer
+        add :fromm, :integer
+        add :too, :integer, check: %{name: "cannot_overlap", expr: "fromm < too"}
+      end
+    end
+  end
+
+  defmodule Constraint do
+    use Ecto.Integration.Schema
+
+    schema "constraints_test" do
+      field :price, :integer
+      field :fromm, :integer
+      field :too, :integer
+    end
+  end
+
+  @base_migration 2_000_000
+
+  setup_all do
+    ExUnit.CaptureLog.capture_log(fn ->
+      num = @base_migration + System.unique_integer([:positive])
+      up(PoolRepo, num, ConstraintMigration, log: false)
+    end)
+
+    :ok
+  end
+
+  test "check constraint" do
+    changeset = Ecto.Changeset.change(%Constraint{}, fromm: 0, too: 10)
+    {:ok, _} = PoolRepo.insert(changeset)
+
+    non_overlapping_changeset = Ecto.Changeset.change(%Constraint{}, fromm: 11, too: 12)
+    {:ok, _} = PoolRepo.insert(non_overlapping_changeset)
+
+    overlapping_changeset = Ecto.Changeset.change(%Constraint{}, fromm: 1900, too: 12)
+
+    exception =
+      assert_raise Ecto.ConstraintError, ~r/constraint error when attempting to insert struct/, fn ->
+        PoolRepo.insert(overlapping_changeset)
+      end
+    assert exception.message =~ "cannot_overlap (check_constraint)"
+    assert exception.message =~ "The changeset has not defined any constraint."
+    assert exception.message =~ "call `check_constraint/3`"
+
+    {:error, changeset} =
+      overlapping_changeset
+      |> Ecto.Changeset.check_constraint(:fromm, name: :cannot_overlap)
+      |> PoolRepo.insert()
+    assert changeset.errors == [fromm: {"is invalid", [constraint: :check, constraint_name: "cannot_overlap"]}]
+    assert changeset.data.__meta__.state == :built
+  end
+end