index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
typesig.reject.lc
blob: 4c00d33adfde774828db60e1ba50e7b22d1bf7b9 (
plain
)
1
2
3
4
5
6
7
8
{-# LANGUAGE NoImplicitPrelude #-} data X = X x :: x x = X