Skip to content

Instantly share code, notes, and snippets.

@SteveGilham
Created April 26, 2015 14:20
Show Gist options
  • Select an option

  • Save SteveGilham/2bc0b3151bdfb4671b3c to your computer and use it in GitHub Desktop.

Select an option

Save SteveGilham/2bc0b3151bdfb4671b3c to your computer and use it in GitHub Desktop.
// Define a type with a character source, a 'lexeme sink and an error string sink:
type lexerSystem<'lexeme> = {
input: unit -> char option;
output: 'lexeme -> unit;
error: string -> unit;
result: unit -> lexerResult<'lexeme> };;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment