joshcough joshcough

View gist:9451456
1 2 3 4 5 6 7 8 9
In-place registering ermine-0.6...
Preprocessing test suite 'properties' for ermine-0.6...
 
<no location info>:
ghc: panic! (the 'impossible' happened)
(GHC version 7.8.0.20140228 for x86_64-apple-darwin):
Dynamic linker not initialised
 
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
View gist:8816211
1 2 3 4 5 6 7 8 9 10
pro:L5-Haskell joshcough$ ht
Resolving dependencies...
cabal: Could not resolve dependencies:
trying: l-0.1.0.0 (user goal)
trying: l-0.1.0.0:+tests
rejecting: l-0.1.0.0:!test (global constraint requires opposite flag
selection)
trying: l-0.1.0.0:*test
trying: test-framework-th-0.2.4 (dependency of l-0.1.0.0:+tests)
trying: regex-posix-0.95.2 (dependency of test-framework-th-0.2.4)
View gist:7876464
1 2 3 4 5 6 7 8 9
def smPrimitives(c: CharacteristicRule): List[DataItemID] = c match {
case Not(r) => smPrimitives(r)
case And(r1, r2) => smPrimitives(r1) ++ smPrimitives(r2)
case Orr(r1, r2) => smPrimitives(r1) ++ smPrimitives(r2)
case SimpleCharacteristicRule(ce) => ce match {
case GroupComparison(lhs, _, rhs) => List(lhs)
case _ => Nil
}
}
View gist:7550760
1
(((((NOT [2147483647] >= [1])) OR ([1101630984] BETWEEN 1.0 AND 2.633208987908038))) UNION ((((((((((((((([Portfolio: 271757750]) INTERSECT ([Portfolio: 2147483647]))) INTERSECT ([1011936015] BETWEEN 8.988465674311579 AND [0]))) UNION ((([10989413] OUTSIDE OF [1365190511] AND [1201265135]) INTERSECT ((([Portfolio: 1814489976]) UNION ([Portfolio: 18394505]))))))) INTERSECT ((((((([Portfolio: 1]) INTERSECT ([Portfolio: 2147483647]))) MINUS ((([Portfolio: 607603394]) UNION ([Portfolio: 1]))))) UNION ([2147483647] OUTSIDE OF [0] AND 8.4785289707857))))) INTERSECT ((((([0] != 4.781640060634101) MINUS ((([1] <= 7.012333308824703) OR ([1275913339] >= [0]))))) MINUS ((((((([Portfolio: 0]) INTERSECT ([Portfolio: 1]))) MINUS ((([Portfolio: 1]) UNION ([Portfolio: 1]))))) INTERSECT ((((([Portfolio: 1]) INTERSECT ([Portfolio: 0]))) INTERSECT ((([Portfolio: 0]) INTERSECT ([Portfolio: 1264959523]))))))))))) MINUS ((([1] BETWEEN [0] AND 0.0) MINUS ((((((((([Portfolio: 0]) INTERSECT ([Portfolio: 1]))) MINUS ((([Portfolio: 214
View gist:7326312
1 2 3 4 5 6 7
lazy val setOp = rawWord("UNION") | rawWord("INTERSECT") | rawWord("MINUS")
lazy val simpleSetRule = setReference // characteristicRule | setReference | "(" , Set Rule , ")" ;
lazy val setRule = for {
s1 <- simpleSetRule
op <- setOp
//s2 <- simpleSetRule
} yield (s1, op)
View gist:6342442
1 2 3 4 5 6 7 8 9 10
instance Arbitrary PatPath where
arbitrary = oneof [ pure LeafPP
, FieldPP <$> arbitrary <*> arbitrary
, ArgPP <$> arbitrary <*> arbitrary
]
 
instance Arbitrary JavaLike where
arbitrary = oneof [
Method <$> arbitrary <*> arbitrary <*> arbitrary <*> arbitrary,
Constructor <$> arbitrary <*> arbitrary,
View gist:6234727
1 2 3 4 5 6 7
x = f
 
foreign java
f = ...
 
foreign c#
f = ...
View gist:6232917
1 2 3 4 5
[info] > ARG_0: 1.3340697E38
$ ./dist/build/core-echo/core-echo.exe core.in
Bytes: 1, 2, 6, 126, 200, 186, 127
Bytes: 1, 2, 6, 126, 200, 250, 127
HardCore (Lit (Float NaN))
View gist:6227847
1 2 3 4 5 6 7 8 9 10
implicit def shrinkCore[V](implicit s1: Shrink[V]): Shrink[Core[V]] = Shrink { c =>
c match {
case Var(_) => Stream.empty
case h: HardCore => Stream.empty
case App(f, x) => Stream(f, x)
// case class Let[+V](bindings: List[Scope[Byte, Core, V]], body: Scope[Byte, Core, V])
case Let(bindings, body) => Stream() // TODO: bindings, body
// case class Case[+V](c: Core[V], branches: Map[Byte, (Byte, Scope[Byte, Core, V])], default: Option[Scope[Unit, Core, V]])
case Case(c, branches, d) => Stream(c) // TODO: branches, default
case Data(tag, fields) => fields.toStream
View gist:6226016
1 2 3 4 5 6 7 8 9
[info] > ARG_0: Data(1, List(LamDict(Scope(Var(-\/(())))), Var(-2147483648), Case(AppDict(Data(1, List(Data(-128, List(L
itByte(-128))), Case(Case(Case(LitFloat(-2.7508434E38),Map(),None),Map(1 -> (127,Scope(App(LitInt64(-538654524), Super(-
128))))),Some(Scope(Var(-\/(()))))),Map(98 -> (72,Scope(AppDict(App(Err(), Var(-\/(82))),LamDict(Scope(LitShort(0)))))),
-61 -> (1,Scope(App(Var(-\/(-30)), LamDict(Scope(LitString())))))),Some(Scope(Data(127, List())))), App(LitInt64(-1), V
ar(-2147483648)), AppDict(App(Let(List(),Scope(Slot(70))), App(Var(-2147483648), Var(-1404937333))),Data(-1, List())))),
App(AppDict(LitString(?),Slot(3)), LitFloat(1.0))),Map(0 -> (-46,Scope(Let(List(Scope(Data(127, List(Data(127, List(App(
Data(-128, List()), App(Var(-\/(1)), Var(\/-(LitDouble(3.020450271923854E307))))), Case(Data(-17, List()),Map(),Some(Sco
pe(Var(\/-(LitShort(19602)))))))), LamDict(Scope(Var(-\/(()))))))), Scope(Var(-\/(-1))), Scope(App(LitChar(?), Var(-\/(4
7)))), Scope(Case(Var(-\/(-34)),Map(-1 -> (127,Scope(Dat
Something went wrong with that request. Please try again.