Commit 1c9177d2 authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au
Browse files

Add INLINE pragmas

parent 7c9a2e6f
......@@ -8,8 +8,10 @@ infixr 0 $:
data a :-> b = forall e. Clo !(e -> a -> b) e
closure :: (e -> a -> b) -> e -> (a :-> b)
{-# INLINE closure #-}
closure = Clo
($:) :: (a :-> b) -> a -> b
{-# INLINE ($:) #-}
Clo f e $: x = f e x
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment