index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
language-features
/
basic-values
/
typesyn04.reject.lc
blob: cda6908d8e13d646f0f37357b058209e95763bf5 (
plain
)
1
2
3
4
5
type MyUnit = () type MyUnit = () fun :: a -> MyUnit -> MyUnit fun x () = ()