index
:
lambdacube-compiler.git
master
sigs
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
testdata
/
reject.ignore
/
instantiate.reject.lc
blob: 4e3bcfbb461edaa3b1db3b80a57a0476b0e7f15b (
plain
)
1
main = let f = PrimAdd in (f (V2 1.0 2.0) (V2 2.3 3.4), f 1.0 2.0)