49215cb · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

add info

commit49215cb1ead66feed2c0294721f94a8e7b628b9f authorbe5invis <belleve@typeof.net> dateWed 24 May 2017, 01:45 (9 years ago) parent99f59f1

4 files changed+32

compare with master

unifiedsplit

src/IRTS/JavaScript/AST.hs+8 src/IRTS/JavaScript/Name.hs+8 src/IRTS/JavaScript/PrimOp.hs+8 src/IRTS/JavaScript/Specialize.hs+8

src/IRTS/JavaScript/AST.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.AST

3+Description : The JavaScript AST.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

19{-# LANGUAGE DeriveDataTypeable, OverloadedStrings #-}

210

311module IRTS.JavaScript.AST

src/IRTS/JavaScript/Name.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.Name

3+Description : The JavaScript name mangler.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

19{-# LANGUAGE OverloadedStrings, PatternGuards #-}

210

311module IRTS.JavaScript.Name

src/IRTS/JavaScript/PrimOp.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.PrimOp

3+Description : The JavaScript primitive operations.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

19{-# LANGUAGE OverloadedStrings, PatternGuards, StandaloneDeriving #-}

210

311module IRTS.JavaScript.PrimOp

src/IRTS/JavaScript/Specialize.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.Specialize

3+Description : The JavaScript specializer.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

19{-# LANGUAGE OverloadedStrings, PatternGuards #-}

210

311module IRTS.JavaScript.Specialize