Skip to content

fix(browser-mcp): rename BrowserAction.Type -> TypeText #134

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 3 commits into from
May 20, 2026
Merged

fix(browser-mcp): rename BrowserAction.Type -> TypeText #134

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
ff49b9b
ci(abi-drift): expand allowlist 56 -> 66 (Refs standards#92 Phase 2)
hyperpolymath May 20, 2026
e36b54d
fix(browser-mcp): rename BrowserAction.Type -> TypeText
hyperpolymath May 20, 2026
36c930c
Merge branch 'main' into fix/browser-mcp-type-rename
hyperpolymath May 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions cartridges/browser-mcp/abi/BrowserMcp/SafeBrowser.idr
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,7 +56,7 @@ public export
data BrowserAction
= Navigate -- ^ Load a URL in the current tab.
| Click -- ^ Click an element matching a CSS selector.
| Type -- ^ Type text into an element matching a CSS selector.
| TypeText -- ^ Type text into an element matching a CSS selector.
| Screenshot -- ^ Capture a screenshot of the current viewport.
| ReadPage -- ^ Read the DOM text content of the current page.
| FillForm -- ^ Fill multiple form fields in one operation.
Expand Down Expand Up @@ -123,7 +123,7 @@ export
browserActionToInt : BrowserAction -> Int
browserActionToInt Navigate = 0
browserActionToInt Click = 1
browserActionToInt Type = 2
browserActionToInt TypeText = 2
browserActionToInt Screenshot = 3
browserActionToInt ReadPage = 4
browserActionToInt FillForm = 5
Expand All @@ -137,7 +137,7 @@ export
intToBrowserAction : Int -> Maybe BrowserAction
intToBrowserAction 0 = Just Navigate
intToBrowserAction 1 = Just Click
intToBrowserAction 2 = Just Type
intToBrowserAction 2 = Just TypeText
intToBrowserAction 3 = Just Screenshot
intToBrowserAction 4 = Just ReadPage
intToBrowserAction 5 = Just FillForm
Expand Down
Loading