diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-21 15:57:51 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-21 18:12:46 +0100 |
| commit | 417611db4cb78504b19b7e1b93cbfade7254ae4e (patch) | |
| tree | 4862b2e7ad257c5bb1fd07439de713fcc38940ae /testdata/stricttypeann.reject.wip.lc | |
| parent | b894bd354c8da5c8dacb1cdecca0dfb77accc64c (diff) | |
wip refactoring
Diffstat (limited to 'testdata/stricttypeann.reject.wip.lc')
| -rw-r--r-- | testdata/stricttypeann.reject.wip.lc | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/testdata/stricttypeann.reject.wip.lc b/testdata/stricttypeann.reject.wip.lc new file mode 100644 index 00000000..b7bd62a4 --- /dev/null +++ b/testdata/stricttypeann.reject.wip.lc | |||
| @@ -0,0 +1,13 @@ | |||
| 1 | {-# LANGUAGE NoImplicitPrelude #-} | ||
| 2 | {-# LANGUAGE TraceTypeCheck #-} | ||
| 3 | |||
| 4 | import Internals | ||
| 5 | |||
| 6 | g :: Num b => b | ||
| 7 | |||
| 8 | data Output where | ||
| 9 | Out :: a -> Output | ||
| 10 | |||
| 11 | f = Out g :: Output | ||
| 12 | |||
| 13 | |||