push (broken) self contained example

Author: zth

analysis/tests/src/CompletionPipeChain.res

@@ -1,19 +1,50 @@
-let mapArr = arr => arr->Js.Array2.map(v => v + 2)
-let arr = [1, 2, 3]
-// let _ = arr->
+module Integer: {
+  type t
+  let increment: (t, int) => t
+  let decrement: (t, int => int) => t
+  let make: int => t
+  let toInt: t => int
+} = {
+  type t = int
+  let increment = (t, num) => t + num
+  let decrement = (t, decrementer) => decrementer(t)
+  let make = t => t
+  let toInt = t => t
+}
+
+module SuperFloat: {
+  type t
+  let fromInteger: Integer.t => t
+  let toInteger: t => Integer.t
+} = {
+  type t = float
+  let fromInteger = t => t->Integer.toInt->Belt.Float.fromInt
+  let toInteger = t => t->Belt.Float.toInt->Integer.make
+}
+
+let toFlt = i => i->SuperFloat.fromInteger
+let int = Integer.make(1)
+let f = int->Integer.increment(2)
+// let _ = int->
 //              ^com
 
-// let _ = arr->Js.Array2.map(v => v)->
-//                                     ^com
+// let _ = int->toFlt->
+//                     ^com
+
+// let _ = int->Integer.increment(2)->
+//                                    ^com
+
+// let _ = Integer.increment(int, 2)->
+//                                    ^com
 
-// let _ = arr->Js.Array2.filter(v => v)->Js.Array2.filter(v => v)->
-//                                                                  ^com
+// let _ = int->Integer.decrement(t => t - 1)->
+//
 
-// let _ = arr->Js.Array2.filter(v => v)->
-//                                        ^com
+// let _ = int->Integer.increment(2)->Integer.decrement(t => t - 1)->
+//
 
-// let _ = arr->Js.Array2-map(v => v)->Belt.List.fromArray->
-//                                                          ^com
+// let _ = int->Integer.increment(2)->SuperFloat.fromInteger->
+//
 
-// let _ = arr->Js.Array2-map(v => v)->Belt.List.fromArray->s
-//                                                           ^com
+// let _ = int->Integer.incremebt(2)->SuperFloat.fromInteger->t
+//