idris-hackers/idrisscript

FFI Bindings to interact with the unsafe world of JavaScript

idrisscript's Issues

Deprecation warnings with latest Idris (0.11-git:6f6b894)

I am getting the following deprecation warnings with the latest version of Idris:

idris --build idrisscript.ipkg
IdrisScript.idr:5:1:'public' is deprecated. Use 'public export' instead.
IdrisScript.idr:21:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:78:7:The 'class' keyword is deprecated. Use 'interface' instead.
IdrisScript.idr:81:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:84:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:87:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:90:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:94:7:The 'class' keyword is deprecated. Use 'interface' instead.
IdrisScript.idr:97:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:100:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:103:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
IdrisScript.idr:106:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
Type checking ./IdrisScript.idr
IdrisScript.idr:87:10:Use of deprecated name Float
IdrisScript.idr:87:10:Use of deprecated name Float
IdrisScript.idr:87:10:Use of deprecated name Float
IdrisScript.idr:88:8:Use of deprecated name Float
IdrisScript.idr:88:8:Use of deprecated name Float
IdrisScript.idr:88:8:Use of deprecated name Float
IdrisScript.idr:88:8:Use of deprecated name Float
IdrisScript.idr:101:10:Use of deprecated name Float
IdrisScript.idr:103:10:Use of deprecated name Float
IdrisScript.idr:103:10:Use of deprecated name Float
IdrisScript.idr:103:10:Use of deprecated name Float
IdrisScript.idr:104:10:Use of deprecated name Float
./IdrisScript/Arrays.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Arrays.idr
./IdrisScript/Arrays/Unpacked.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Arrays/Unpacked.idr
./IdrisScript/Date/Days.idr:7:1:'public' is deprecated. Use 'public export' instead.
./IdrisScript/Date/Days.idr:15:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Days.idr:25:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Days.idr:34:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Days.idr:43:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
Type checking ./IdrisScript/Date/Days.idr
./IdrisScript/Date/Months.idr:5:1:'public' is deprecated. Use 'public export' instead.
./IdrisScript/Date/Months.idr:18:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
Type checking ./IdrisScript/Date/Months.idr
./IdrisScript/Date/Types.idr:8:1:'public' is deprecated. Use 'public export' instead.
./IdrisScript/Date/Types.idr:12:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Types.idr:19:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Types.idr:26:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Types.idr:33:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Types.idr:40:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
./IdrisScript/Date/Types.idr:47:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
Type checking ./IdrisScript/Date/Types.idr
./IdrisScript/Date.idr:10:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Date.idr
./IdrisScript/Functions.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Functions.idr
./IdrisScript/Functions/Unpacked.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Functions/Unpacked.idr
./IdrisScript/Objects.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Objects.idr
./IdrisScript/Objects/Unpacked.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Objects/Unpacked.idr
./IdrisScript/RegExps.idr:7:1:'public' is deprecated. Use 'public export' instead.
./IdrisScript/RegExps.idr:16:10:The 'instance' keyword is deprecated. Use 'implementation' (or omit it) instead.
Type checking ./IdrisScript/RegExps.idr
./IdrisScript/Strings.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/Strings.idr
./IdrisScript/JSON.idr:7:1:'public' is deprecated. Use 'public export' instead.
Type checking ./IdrisScript/JSON.idr
Type checking ./IdrisScript/Timer.idr