git.iko.soy/rowtype-yoga/purescript-yoga-om-layer
on main help sign in
rowtype-yoga/purescript-yoga-om-layer/compile-fail-tests/CombineOverlappingProv.purs
15 lines 486 B history raw
1-- EXPECT: TypesDoNotUnify
2module Yoga.Om.Layer.CompileFailTest where
4import Prelude
5import Yoga.Om.Layer (OmLayer, Scope, makeLayer, combineRequirements, runScoped)
6import Effect.Aff (Aff)
8layer1 :: OmLayer (scope :: Scope) () { value :: Int }
9layer1 = makeLayer (pure { value: 1 })
11layer2 :: OmLayer (scope :: Scope) () { value :: String }
12layer2 = makeLayer (pure { value: "two" })
14bad :: Aff { value :: Int, value :: String }
15bad = runScoped (combineRequirements layer1 layer2)