let buckets (f:'a->'a->bool) (lst:'a list): 'a list list = let rec find (find_f: 'a->'a->bool)(find_ht: 'a) (find_acc:'a list list):'a list list = match find_acc with []-> [[find_ht]] | head::tail -> match head with h::_-> if f h find_ht then (find_ht::head)::tail else head::(find f find_ht tail) in let rec parse (parse_f: 'a->'a->bool) (parse_lst:'a list) (parse_acc: 'a list list): 'a list list = match parse_lst with [] -> parse_acc | ht::tl -> parse f tl (find f ht parse_acc) in match lst with []->[] | ht::tl -> parse f tl [[ht]];; let buckets (f:'a->'a->bool) (lst:'a list): 'a list list = let rec find (find_f: 'a->'a->bool)(find_ht: 'a) (find_acc:'a list list):'a list list = match find_acc with []-> [[find_ht]] | head::tail -> match head with h::_-> if f h find_ht then (find_ht::head)::tail else head::(find f find_ht tail) in let rec parse (parse_f: 'a->'a->bool) (parse_lst:'a list) (parse_acc: 'a list list): 'a list list = match parse_lst with [] -> parse_acc | ht::tl -> parse f tl (find f ht parse_acc) in match lst with []->[] | ht::tl -> parse f tl [[ht]];; Warning : this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] Why I am getting this error? How can I fix it? Thanks

Database System Concepts

7th Edition

ISBN:9780078022159

Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan

Chapter1: Introduction

Section: Chapter Questions

Problem 1PE

See similar textbooks

Related questions

Concept explainers

Question

let buckets (f:'a->'a->bool) (lst:'a list): 'a list list =
let rec find (find_f: 'a->'a->bool)(find_ht: 'a) (find_acc:'a list list):'a list list =
match find_acc with
[]-> [[find_ht]]
| head::tail -> match head with h::_-> if f h find_ht then (find_ht::head)::tail else head::(find f find_ht tail)
in
let rec parse (parse_f: 'a->'a->bool) (parse_lst:'a list) (parse_acc: 'a list list): 'a list list =
match parse_lst with
[] -> parse_acc
| ht::tl -> parse f tl (find f ht parse_acc)
in
match lst with
[]->[]
| ht::tl -> parse f tl [[ht]];;

Warning : this pattern-matching is not exhaustive. Here is an example of a case that is not matched: []

Why I am getting this error? How can I fix it?

Thanks

Expert Solution

Step 1

solution

Trending now

This is a popular solution!

Step by step

Solved in 2 steps

SEE SOLUTION Check out a sample Q&A here

Knowledge Booster

Learn more about

Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.

Similar questions