--interface for node backend

[rbarreiro]

To address #4055 This pr adds --interface option to node backend
Example

$ cat tiface.idr
module Lib

export
ones : Int -> List Int
ones 0 = []
ones n = 1 :: (ones (n - 1))

lib : FFI_Export FFI_JS "" []
lib = Data (List Int) "List Int" $
      Fun ones "ones" $
      End
$ idris --codegen node --interface  tiface.idr -o lib.js
$ node
> l = require("./lib.js")
{ ones: [Function: Lib__ones] }
> l.ones(2)
$HC_2_1$Prelude__List___58__58_ {
  type: 1,
  '$1': 1,
  '$2': $HC_2_1$Prelude__List___58__58_ { type: 1, '$1': 1, '$2': { type: 0 } } }
> $ 

[ahmadsalim]

@rbarreiro Looks great!

Could you please add a test like ffi06 and an entry in the CHANGELOG?

[rbarreiro]

@ahmadsalim sure

[rbarreiro]

I added a test and an changelog entry, It took me a bit because I had to do some bug fixing.

[rbarreiro]

@melted I configured basic021 test to run only on c because IORef functions use the C ffi ...

[ahmadsalim]

@rbarreiro I think you need to run stylish and make a new commit please.

[melted]

Thanks!

[goodmind]

Is this ok to export raw data structures to JS?

[rbarreiro]

This example was on the issue and might not be the most standard way of using this feature. This test https://github.com/idris-lang/Idris-dev/tree/master/test/ffi011 illustrates it better. Em 21/09/2017 11:08 da manhã, "andretshurotshka" <notifications@github.com> escreveu:

…

Is this ok to export raw data structures to JS? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#4073 (comment)>, or mute the thread <https://github.com/notifications/unsubscribe-auth/AAM9NnBt1CcK3jENej9EtLz4MLqoeDziks5skjWggaJpZM4PX8zL> .