{"push_id":785909991,"size":31,"distinct_size":31,"ref":"refs/heads/master","head":"b0a60f63f38b118e41440dd842eac6fbd2c27569","before":"b2ede23c85d8c3ce6cc43f5e0a5f89f3b78402a1","commits":[{"sha":"a80b29155087fbd9f86925fb22432638c35fb0da","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add optional :desc to Util.insist-isa; add .elems to CompoundType","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/a80b29155087fbd9f86925fb22432638c35fb0da"},{"sha":"f675b9dd906ffb46cb10a384d5082bf573f07e1f","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":".foldl1 for every Type","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/f675b9dd906ffb46cb10a384d5082bf573f07e1f"},{"sha":"4d27c49b654b2ce2e74c1412fff375d06ac3d3fb","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add .foldl for Type s","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/4d27c49b654b2ce2e74c1412fff375d06ac3d3fb"},{"sha":"89adbe7ca09cd408f065c416977094a8a274d98b","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"make QAST::Op types Fn Types of CrossType -> something; add constraining Cross Types","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/89adbe7ca09cd408f065c416977094a8a274d98b"},{"sha":"e2ea4fb1b14e9ea87fad151b25c2a2303c263f86","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"fix Util::Compiler: `panic` didn't receive arg @msg-pieces properly","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/e2ea4fb1b14e9ea87fad151b25c2a2303c263f86"},{"sha":"e3edf73b073b7e13a657a3b91f3219b338cc1809","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"Type.error accepts an optional arg :at which may be either a QAST::Node or an NQPMatch","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/e3edf73b073b7e13a657a3b91f3219b338cc1809"},{"sha":"3c2822be0612aca69b78f02e218749dd6e493aea","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add method .isSimpleType for type instances","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/3c2822be0612aca69b78f02e218749dd6e493aea"},{"sha":"442a372f62797448925412e96e91f72bdd6b7ec2","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add some tests for Type.constrain","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/442a372f62797448925412e96e91f72bdd6b7ec2"},{"sha":"da3c10d887f907ad1fc6db26aae44e2cb741119d","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"remove try-out stuff","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/da3c10d887f907ad1fc6db26aae44e2cb741119d"},{"sha":"6a06e1557e9860dc28a25ca8a01bd63bd538f19a","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"prohibit Type.Void inside Type.Cross","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/6a06e1557e9860dc28a25ca8a01bd63bd538f19a"},{"sha":"fa446883d19d380da896d3c180f9aa407ce75707","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"fix Type.constrain: pass on named arg :onError, properly match up components in Cross types","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/fa446883d19d380da896d3c180f9aa407ce75707"},{"sha":"8d4f65e959aeb7bc1ec1c80535adf7aef8b8bf43","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add class TypeConstraint","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/8d4f65e959aeb7bc1ec1c80535adf7aef8b8bf43"},{"sha":"d6103ee1a698bf28f8a19a5b1144e615b4eff3e5","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"added some more Op types - looks like we found an actual type error in runtime fn `&ifTag`! :D","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/d6103ee1a698bf28f8a19a5b1144e615b4eff3e5"},{"sha":"ea508211d8d0a9bde102514ed1b5c717a027d314","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"avoid strange error in `istype` re \"cannot unbox a type object\" (it is so strange that I even wasn't able to reproduce it properly in a test...)","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/ea508211d8d0a9bde102514ed1b5c717a027d314"},{"sha":"e29fa08e945e06589d2d99da3bc6962186d451d9","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add descriptive error msg to factory method Type.Cross","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/e29fa08e945e06589d2d99da3bc6962186d451d9"},{"sha":"334cba87d01a6d02bce66c2d9adfbb9a9a84d827","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"add typechecking a 'call' Op","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/334cba87d01a6d02bce66c2d9adfbb9a9a84d827"},{"sha":"3495ada70f8368415768d194a8b89c70ae90f6ca","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"fix type of Op radix","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/3495ada70f8368415768d194a8b89c70ae90f6ca"},{"sha":"8a827c3640957511a1b00faf148f555d6bc275da","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"avoid nqp::null in runtime, include .λinfo and .src in typecheck","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/8a827c3640957511a1b00faf148f555d6bc275da"},{"sha":"acefce13bcec12b5b2fdb00fa93af85db40eab57","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"fix type of Block s: must be Cross -> something","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/acefce13bcec12b5b2fdb00fa93af85db40eab57"},{"sha":"4523bce1fc4635395c5ca1bbcf8c48d6840c5349","author":{"email":"cce33ea705aa924083b473e543540a7ac8784ed4@sprax.eu","name":"Matthias Kling"},"message":"propagate type constraints","distinct":true,"url":"https://api.github.com/repos/meisl/lambda/commits/4523bce1fc4635395c5ca1bbcf8c48d6840c5349"}]}