@@ -2,7 +2,7 @@
2#import <Cocoa/Cocoa.h>
2#import <Cocoa/Cocoa.h>
3#import <WebKit/WebKit.h>
3#import <WebKit/WebKit.h>
5−extern void withWebView(WKWebView *, HsStablePtr);
5+extern void callWithWebView(WKWebView *, HsStablePtr);
7@interface AppDelegate : NSObject <NSApplicationDelegate>
7@interface AppDelegate : NSObject <NSApplicationDelegate>
8@property (nonatomic, assign) IBOutlet NSWindow *window;
8@property (nonatomic, assign) IBOutlet NSWindow *window;
@@ -36,7 +36,7 @@ extern void withWebView(WKWebView *, HsStablePtr);
36 [theConfiguration.preferences setValue:@YES forKey:@"developerExtrasEnabled"];
36 [theConfiguration.preferences setValue:@YES forKey:@"developerExtrasEnabled"];
37 WKWebView *webView = [[WKWebView alloc] initWithFrame: [_window.contentView frame] configuration:theConfiguration];
37 WKWebView *webView = [[WKWebView alloc] initWithFrame: [_window.contentView frame] configuration:theConfiguration];
38 [_window setContentView:webView];
38 [_window setContentView:webView];
39− withWebView(webView, _handler);
39+ callWithWebView(webView, _handler);
42-(void)applicationDidFinishLaunching:(NSNotification *)notification {
42-(void)applicationDidFinishLaunching:(NSNotification *)notification {