4.8 Editor support: The Editor structure

editDefinition

Function

Structure

Shell.Editor

Type

val editDefinition: ('a -> 'b) -> unit

Syntax

editDefinition f -> ()

Arguments

f: An ML function.

Values

()

Description

Invokes your preferred editor (consulting the value of Shell.Options.Preferences.editor to do so) on the source (.sml) file containing the declaration of f. MLWorks will attempt to place the insertion cursor at the declaration itself.

If f was not declared in a file, or if some other file-related error occurs (such as the file no longer existing), editDefinition raises exception EditError.