module type ParserLoopApi = sig

val input_needed : 'a context -> 'a recover_checkpoint -> 'a I.checkpoint -> 'a

module ParserLoop (M : ParserLoopApi) = struct

let loop : 'a . 'a context -> 'a recover_checkpoint -> 'a I.checkpoint -> 'a =

fun ctx recover checkpoint -> match checkpoint with

| I.InputNeeded _ -> M.input_needed ctx recover checkpoint

| _ -> assert false

module CompilationParserLoop = ParserLoop(struct

let input_needed ctx recover checkpoint =

(* Is it possible to access loop here? *)

loop ctx recover checkpoint;