diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-18 00:54:23 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-18 00:54:23 +0200 |
| commit | f7dc0efb3581c259f6c5f18662bbdb0d336bbd0e (patch) | |
| tree | a29ca7d0811ee66530b6d2738fcbbc34386560e1 /portal/lib/portal.mli | |
| parent | 8839d911afb6404033d640845295539fb63fcdb2 (diff) | |
fix(portal): accept parsing streams instead of pure signals
Diffstat (limited to 'portal/lib/portal.mli')
| -rw-r--r-- | portal/lib/portal.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/lib/portal.mli b/portal/lib/portal.mli index 4d7918f..3867f1b 100644 --- a/portal/lib/portal.mli +++ b/portal/lib/portal.mli @@ -1,6 +1,6 @@ open Markup -type t = async parser * (signal option -> unit) +type t = async parser * ((signal, sync) stream option -> unit) val stanza_open : ?from:string -> string -> (signal, sync) stream |