типа Convert (примитивный) назад к примитивному в OCaml

Question

У меня есть пользовательский типа в OCaml:

type d = DefaultTemplateDir | TemplateDir of string 

И позже в программе я применяю это:

let get_full_name ?(template_dir: d = DefaultTemplateDir) file_name = 
    let dir = (match template_dir with 
    | DefaultTemplateDir -> "" 
    | TemplateDir custom_dir -> custom_dir) in 
    dir^file_name 

Но я получаю Ошибка здесь:

This expression has type d but an expression was expected of type string. 

Как преобразовать тип TemplateDir обратно в строку, чтобы я мог выполнять строковые операции над ним?

Answer 1

Ваш код выглядит правильно. Вы должны называть его

get_full_name ~template_dir:(TemplateDir "template-dir") "file-name"