feat: generalise operations so that we can support more than http ops #260
Annotations
10 warnings
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L59
Top-level binding with no type signature: t0 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L59
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L63
Top-level binding with no type signature: t1 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L63
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L68
Top-level binding with no type signature: t2 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L68
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L73
Top-level binding with no type signature: t3 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L94
Top-level binding with no type signature: t4 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L114
Top-level binding with no type signature: unit_elevator :: Bool
|
|
Build:
src/Spex/Experiment/Protocol2.hs#L9
The import of ‘Debug.Trace’ is redundant
|
Loading