Skip to content
This repository has been archived by the owner on May 21, 2019. It is now read-only.

DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

Notifications You must be signed in to change notification settings

typedefs/purescript-typedefs-interop

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

purescript-typedefs-interop

DEAD END EXPERIMENT: this turned out to be an unviable approach, due to erasure removing all payload on Mu terms.

Direct interop with the ASTs of parsed Typedefs terms from PureScript.

Introduction

The JavaScript generated by Idris needs preprocessing:

  • Replace let by var (downgrade to ES5)
  • Remove shebang and wrapper nullary function
  • Add exports.deserialize0 = to function Main__deserialize0

Usage

npm i
npm run test

About

DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published