unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-14 16:28:34 +03:00
Code Issues Projects Releases Wiki Activity

adding applicative import to satisfy ghcjs build of shared

Browse Source
This commit is contained in:
Paul Chiusano 2015-06-18 20:59:46 -04:00
parent 2baa404d7a
commit 3f4e901f12
2 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
shared/src/Unison/Typechecker.hs
View File

@ -4,6 +4,7 @@
-- | This module is the primary interface to the Unison typechecker -- | This module is the primary interface to the Unison typechecker
module Unison.Typechecker (admissibleTypeAt, check, check', equals, isSubtype, locals, subtype, synthesize, synthesize', typeAt, wellTyped) where module Unison.Typechecker (admissibleTypeAt, check, check', equals, isSubtype, locals, subtype, synthesize, synthesize', typeAt, wellTyped) where
import Control.Applicative
import Control.Monad import Control.Monad
import Unison.Type (Type) import Unison.Type (Type)
import Unison.Term (Term) import Unison.Term (Term)

1
shared/src/Unison/Typechecker/Context.hs
View File

@ -9,6 +9,7 @@
module Unison.Typechecker.Context (context, subtype, synthesizeClosed) where module Unison.Typechecker.Context (context, subtype, synthesizeClosed) where
import Control.Monad import Control.Monad
import Control.Applicative
import Data.List import Data.List
import Data.Set (Set) import Data.Set (Set)
import Unison.Note (Note,Noted(..)) import Unison.Note (Note,Noted(..))