Ended refactoring

1 files changed, 5 insertions, 6 deletions

diff --git a/src/lib/modifiers/nasal.ml b/src/lib/modifiers/nasal.ml
index ec8ddb4..57a3235 100644
--- a/src/lib/modifiers/nasal.ml
+++ b/src/lib/modifiers/nasal.ml
@@ -1,9 +1,9 @@
+module T = Sounds
 (* Remove the ending consonant, and transform the voyel into
    the nasal form  *)
 let transform
-  : (module Sounds.Sig.T with type t = 'a) ->  'a Sig.consonants option -> 'a Sig.t -> 'a Sig.t
-  = fun (type el) m c init ->
-    let module T = (val m:Sounds.Sig.T with type t = el) in
+  : Sounds.t Sig.consonants option -> Sounds.t Sig.t -> Sounds.t Sig.t
+  = fun c init ->
     let (((v1, v2), _) , _) = init in
 
     begin match T.nasal v1, T.nasal v2 with
@@ -21,15 +21,14 @@ let transform
     merge from two distinct elements ? *)
 let process
   : 'a Sig.modifier
-  = fun (type el) m init ->
-    let module T = (val m:Sounds.Sig.T with type t = el) in
+  = fun init ->
     let (((v1, v2), c) , ending) = init in
     let ending = Option.bind ending (fun x -> x) in
     let opening = Option.map (fun v -> v.Sig.opening) c in
     let is_voyel = T.is_voyel v1 && T.is_voyel v2 in
     match ending, is_voyel, opening with
     | Some ending, _, _ when T.is_nasal ending ->
-      transform m c init
+      transform c init
     | None, false, Some (opening::tl) when T.is_nasal opening ->
       (* If there is no voyel here, transform the opening consonant as an
          ending consonant for the next syllabus *)