1-- @inline export watUnit(..).wat arity=1
2-- @inline export testImpl never
3module Snapshot.InlineDirectivePropSpine01 where
7import Type.Equality (class TypeEquals)
8import Type.Equality as TypeEquals
10testImpl :: Unit -> Unit
13class Wat a b | b -> a where
16instance watUnit :: TypeEquals a Unit => Wat a Unit where
17 wat = testImpl <<< TypeEquals.to
19-- This results in a partially applied call for `wat` specialized
20-- to `Unit` TypeEquals dictionary. Without the directive, This
21-- won't inline via heuristics since it's a CAF. With the directive,
22-- test1 and test2 get inlined to calls to testImpl.
23f = wat :: Unit -> Unit
24g = wat :: Unit -> Unit
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list