feat: more async protocol experiments #251
Annotations
10 warnings
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L16
Missing role annotation: type role Form representational
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L60
Top-level binding with no type signature: t0 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L60
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L64
Top-level binding with no type signature: t1 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L64
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L69
Top-level binding with no type signature: t2 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L69
• Defaulting the type variable ‘a0’ to type ‘Integer’ in the following constraints
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L74
Top-level binding with no type signature: t3 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L95
Top-level binding with no type signature: t4 :: Bool
|
|
Build:
src/Spex/Experiment/LinearTemporalLogic.hs#L115
Top-level binding with no type signature: unit_elevator :: Bool
|
Loading