diff options
Diffstat (limited to 'testdata/empty.out')
| -rw-r--r-- | testdata/empty.out | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testdata/empty.out b/testdata/empty.out index a5a55263..771dc4de 100644 --- a/testdata/empty.out +++ b/testdata/empty.out | |||
| @@ -1,3 +1,6 @@ | |||
| 1 | ------------ desugared source code | ||
| 2 | data Empty :: Type where | ||
| 3 | |||
| 1 | main is not found | 4 | main is not found |
| 2 | ------------ trace | 5 | ------------ trace |
| 3 | 'Empty :: [32mType[0m | 6 | 'Empty :: [32mType[0m |