idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-20 18:21:47 +03:00
Code Issues Projects Releases Wiki Activity
ecfe1bde70
Idris2/tests/node/nomangle002/nomangle1.idr

8 lines
97 B
Idris
Raw Normal View History

[ new ] Add `%nomangle` (#2063) This is (for once) not a breaking changes, instead backends will need to opt in to this change, using the utilities in Compiler.NoMangle. See the js backend for an example of how to do this. This is the first step to being able to use idris to create libraries usable by other languages.
2021-11-09 19:23:50 +03:00
Reimplement %nomangle in terms of %export (#2604) * Reimplement %nomangle in terms of %export Also deprecate %nomangle * [ lint ] fix linter errors
2022-08-15 15:26:06 +03:00
%nomangle "node:continue"
[ new ] Add `%nomangle` (#2063) This is (for once) not a breaking changes, instead backends will need to opt in to this change, using the utilities in Compiler.NoMangle. See the js backend for an example of how to do this. This is the first step to being able to use idris to create libraries usable by other languages.
2021-11-09 19:23:50 +03:00
continue : Int -> Int
continue x = x + 1
main : IO ()
main = pure ()
Reference in New Issue Copy Permalink