diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-03-24 11:19:48 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-03-24 11:19:48 +0100 |
| commit | 2de6cede93912457babc79bcb0f58c9e6b20f05a (patch) | |
| tree | 30a1f088a8f73e385e2b296c3bfaf0aac7b6314c /src/HSVIS/AST.hs | |
| parent | defd0cf1a7620eaecda984a58533661a98595bd3 (diff) | |
Partially working type checker
Diffstat (limited to 'src/HSVIS/AST.hs')
| -rw-r--r-- | src/HSVIS/AST.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/HSVIS/AST.hs b/src/HSVIS/AST.hs index 058f5ac..2986248 100644 --- a/src/HSVIS/AST.hs +++ b/src/HSVIS/AST.hs @@ -100,6 +100,8 @@ data Type s -- extension point | TExt (X Type s) !(E Type s) deriving instance (Show (X Type s), Show (E Type s)) => Show (Type s) +deriving instance (Eq (X Type s), Eq (E Type s)) => Eq (Type s) +deriving instance (Ord (X Type s), Ord (E Type s)) => Ord (Type s) data Pattern s = PWildcard (X Pattern s) |