Rohit Grover

unhelpful error message while unifying identical types

7

I get a cryptic error message while lifting a `Preorder` relationship to `Maybe`. The type-checker is unable to unify identical types. # Steps to Reproduce Using the definition of `Preorder`...

#297: Adding support for readline at the REPL

3

Switching the REPL to use readline instead of getLine. Added Text/Readline for bindings. Note: the implementation of readline currently doesn't turn the received input into a buffer managed by the...

# Steps to Reproduce Attempting to generate a trivial definition for the `go` helper function (below) fails to produce meaningful results. The behaviour can also be reproduced by running idris2...

supplying a bang has no effect, but permits :rg! as a drop-in replacement for grep!.

or even `unfoldWildcardBucket` https://github.com/libp2p/go-libp2p-kbucket/blob/3752ea0128fd84b4fef0a66739b8ca95c8a471b6/table.go#L134

Around https://github.com/libp2p/go-libp2p-kbucket/blob/master/table.go#L61. RoutingTable updates don't evict any entries; and the `evicted` return value remains initialized.

build bootloader using armgcc

3

post instructions on building bootloader using armgcc.

extend DiscoveredCharacteristic to allow serialization and reconstruction from persistent storage

1

it may be useful at times to construct DiscoveredCharacteristisc (and services) from persistent (cached) data. This will allow us to avoid service-discovery for every connection. BLE_API needs to be extended...

we may want to introduce GattServer::addCharacteristic()

1

We currently only have GattServer::addService(), which requires us to collect the characteristics into an array before passing it into the service constructor. This forces an ugly pattern for construction. A...

add API to enable notifications

4

refer to https://developer.mbed.org/forum/team-63-Bluetooth-Low-Energy-community/topic/16517/?page=1#comment-38845 It could be that what's needed here is a simple API like: DiscoveredCharacteristic::enableNotification(), but then that would allow manipulation of only the CCCD. There may be other...