juvix/tests/negative/InfixErrorP.juvix

module InfixErrorP;

  infix 5 , ;

  type Pair :=
   , : Type → Type → Pair;

  fst : Pair → Type;
  fst (x , ) := x;

end;
[tests] add more errors and their tests 2022-02-16 17:18:08 +03:00			`module InfixErrorP;`

			`infix 5 , ;`

Change syntax for ind. data types and forbid the empty data type (#1684) Closes #1644 #1635 2023-01-03 15:49:04 +03:00			`type Pair :=`
			`, : Type → Type → Pair;`
[tests] add more errors and their tests 2022-02-16 17:18:08 +03:00
			`fst : Pair → Type;`
remove ≔ from the language and replace it by := (#1563) * remove ≔ from the language and replace it by := * revert accidental changes in juvix input mode * update stdlib submodule * rename ℕ by Nat in the tests and examples * fix shell tests 2022-09-30 03:55:32 +03:00			`fst (x , ) := x;`
[tests] add more errors and their tests 2022-02-16 17:18:08 +03:00
[ pre-commit ] Add support and hooks 2022-04-04 18:44:08 +03:00			`end;`