Commitc7b52f0

committed

feat: make return type of Except.throw polymorphic

1 parentcf21292 commitc7b52f0Copy full SHA for c7b52f0

File tree

-4

lines changed

-4

lines changed

Lines changed: 4 additions & 4 deletions

Original file line number	Diff line number	Diff line change
`@@ -36,12 +36,12 @@ type Except es r = (except :: ExceptF es \| r)`
`36`	`36`	`tag =Proxy::Proxy"except"`
`37`	`37`
`38`	`38`	`throw`
`39`		`-::foralltagesesr`
	`39`	`+::foralltagesesra`
`40`	`40`	`.Row.Constageses`
`41`	`41`	`=>IsSymboltag`
`42`	`42`	`=>Proxytag`
`43`	`43`	`->e`
`44`		`-->Eff (Exceptes +r)Unit`
	`44`	`+->Eff (Exceptes +r)a`
`45`	`45`	`throw ptag error =Eff.unsafeMkFromAff (throwError (foreign_mkCustomError { tag: reflectSymbol ptag, value: error }))`
`46`	`46`
`47`	`47`	`catch`
`@@ -75,7 +75,7 @@ note`
`75`	`75`	`->Maybea`
`76`	`76`	`->Eff (Exceptes +r)a`
`77`	`77`	`note ptag error =case _of`
`78`		`-Nothing->map unsafeCoerce (throw ptag error)`
	`78`	`+Nothing-> throw ptag error`
`79`	`79`	`Just x-> pure x`
`80`	`80`
`81`	`81`	`rethrow`
`@@ -86,7 +86,7 @@ rethrow`
`86`	`86`	`->Eitherea`
`87`	`87`	`->Eff (Exceptes +r)a`
`88`	`88`	`rethrow ptag =case _of`
`89`		`-Left error->map unsafeCoerce (throw ptag error)`
	`89`	`+Left error-> throw ptag error`
`90`	`90`	`Right x-> pure x`
`91`	`91`
`92`	`92`	`run::forallr.Eff (Except () +r) ~>Effr`

Comments

(0)