bolt/test/checker/test_equality_tapp.bolt


enum MyList a.
  Nil
  Pair a (MyList a)

let x : MyList Int
@expect_diagnostic 2010
let y : MyList Bool = x
let z : MyList String
Add some more automated test snippets 2023-06-12 16:54:41 +02:00
Make TypeEnv sort variables on whether they are a var or a function Fixes RecordDeclaration and VariantDeclaration not working correctly 2024-01-21 03:42:25 +01:00			`enum MyList a.`
Add some more automated test snippets 2023-06-12 16:54:41 +02:00			`Nil`
Make TypeEnv sort variables on whether they are a var or a function Fixes RecordDeclaration and VariantDeclaration not working correctly 2024-01-21 03:42:25 +01:00			`Pair a (MyList a)`
Add some more automated test snippets 2023-06-12 16:54:41 +02:00
Make TypeEnv sort variables on whether they are a var or a function Fixes RecordDeclaration and VariantDeclaration not working correctly 2024-01-21 03:42:25 +01:00			`let x : MyList Int`
Add some more automated test snippets 2023-06-12 16:54:41 +02:00			`@expect_diagnostic 2010`
Make TypeEnv sort variables on whether they are a var or a function Fixes RecordDeclaration and VariantDeclaration not working correctly 2024-01-21 03:42:25 +01:00			`let y : MyList Bool = x`
			`let z : MyList String`
Add some more automated test snippets 2023-06-12 16:54:41 +02:00