https://github.com/Helium4Haskell/lvm
Tip revision: 26857cef4ea09c7a96311c898ac6859b66f29d39 authored by Lars on 05 December 2018, 11:11:42 UTC
Added qualified typing to LVM
Added qualified typing to LVM
Tip revision: 26857ce
FreeVar2.core
module FreeVar2 where
instruction primAdd "addint" :: Int! -> Int! -> Int!
data Unit = Unit
bind x f = f Unit
return x = x
main = let x = primAdd 96 1
in let f = \_ -> let g = \_ -> case Unit of Unit -> return Unit
in bind x g
in bind x f